From object orientation to goal orientation: A paradigm shift for requirements engineering

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2941, Issue , 2004, Pages 325-340

  Van Lamsweerde, Axel ^a   Letier, Emmanuel ^a  

^a UNIVERSITÉ CATHOLIQUE DE LOUVAIN   (Belgium)

Author keywords

Goal oriented requirements engineering; High assurance systems; Lightweight formal methods; Safety; Specification building process

Indexed keywords

ACCIDENT PREVENTION; FORMAL METHODS; FORMAL SPECIFICATION; NUCLEAR POWER PLANTS; REQUIREMENTS ENGINEERING; SOFTWARE AGENTS; SOFTWARE DESIGN; SOFTWARE ENGINEERING; SPECIFICATIONS;

BUILDING PROCESS; CONFLICT-FREE REQUIREMENTS; GOAL ORIENTATIONS; GOAL-ORIENTED REQUIREMENTS ENGINEERING; HIGH ASSURANCE SYSTEMS; LIGHTWEIGHT FORMAL METHODS; OBJECT ORIENTATION; SOFTWARE LIFE CYCLES;

SAFETY ENGINEERING;

EID: 35048819568     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24626-8_23     Document Type: Article

References (37)

1. nd Intrnational Conference on Software Enginering, San Francisco, 1976, 61-68.
2. R. Bharadwaj and C. Heitmeyer, "Model Checking Complete Requirements Specifications Using Abstraction," Automated Software Engineering, Vol 6, No. 1, January 1999, 37-68.
3. B.W. Boehm, Software Engineering Economics. Prentice-Hall, 1981.
4. F.P. Brooks "No Silver Bullet: Essence and Accidents of Software Engineering". IEEE Computer, Vol. 20 No. 4, April 1987, pp. 10-19.
5. L. Chung, B. Nixon, E. Yu and J. Mylopoulos, Non-functional requirements in software engineering. Kluwer Academic, 2000.
6. P.J. Courtois and D.L. Parnas, "Documentation for Safety-Critical Software", Proc. ICSE'1993: 15th International Conference on Software Engineering, ACM Press, 1993, 315-323.
7. A. Dardenne, A. van Lamsweerde and S. Fickas, "Goal-Directed Requirements Acquisition", Science of Computer Programming, Vol. 20, 1993, 3-50.
8. R. Darimont and A. van Lamsweerde, "Formal Refinement Patterns for Goal-Driven Requirements Elaboration", Proc. FSE'4 - Fourth ACM SIGSOFT Symp. on the Foundations of Software Engineering, San Francisco, October 1996, 179-190.
9. R. De Landtsheer, E. Letter and A. van Lamsweerde, "Deriving Tabular Event-Based Specifications from Goal-Oriented Requirements Models", Proc. RE'03 - International Joint Conference on Requirements Engineering, Monterey (CA), IEEE, September 2003.
10. Expanded version to appear in the Requirements Engineering Journal.
11. European Software Institute, "European User Survey Analysis", Report USV-EUR 2.1, ESPITI Project, January 1996.
12. M. Feather, "Language Support for the Specification and Development of Composite Systems", ACM Trans. on Programming Languages and Systems 9(2), April 1987, 198-234.
13. M. Feather, S. Fickas, A. van Lamsweerde, and C. Ponsard, "Reconciling System Requirements and Runtime Behaviour", Proc. IWSSD'98 - 9th International Workshop on Software Specification and Design, Isobe, IEEE CS Press, April 1998.
14. S. Fickas and R. Helm, "Knowledge Representation and Reasoning in the Design of Composite Systems", IEEE Trans. on Software Engineering, June 1992, 470-482.
15. A. Gargantini and C. Heitmeyer, "Using Model Checking to Generate Tests from Requirements Specifications", Proc., ESEC'99 & 7th ACM SIGSOFT Intern. Symp. on Foundations of Software Eng. (ESEC/FSE99), Toulouse, September 1999.
16. D. Harel, "Statecharts: A Visual Formalism for Complex Systems", Science of Computer Programming, vol. 8, 1987, 231-274.
17. M. Heimdahl and N.G. Leveson, "Completness and Consistency Checking in Hierarchical State-Based Requirements", IEEE Transactions on Software Engineering, Vol. 22, No. 6, June 1996, 363-377.
18. C. Heitmeyer, R. Jeffords and B. Labaw, "Automated Consistency Checking of Requirements Specifications", ACM Transactions on Software Engineering and Methodology, Vol. 5, No. 3, July 1996, 231-261.
19. M. Jackson, Software Requirements & Specifications - A Lexicon of Practice, Principles and Prejudices. ACM Press, Addison-Wesley, 1995.
20. R. Jeffords and C. Heitmeyer, "Automatic Generation of State Invariants from Requirements Specifications", 6th International Symposium on the Foundations of Software Engineering (FSE-6), Orlando FL, November 1998.
21. J.C. Knight, "Safety-Critical Systems: Challenges and Directions", Invited Mini-Tutorial, Proc. ICSE'2002: 24th International Conference on Software Engineering, ACM Press, 2002, 547-550.
22. A. van Lamsweerde, R. Darimont and E. Letier, "Managing Conflicts in Goal-driven Requirements Engineering", IEEE Transactions on So/Mare Engineering, Special Issue on Inconsistency Management in Software Development, Vol. 24, No. 11, November 1998, 908-926.
23. [Lam00a] A. van Lamsweerde and E. Letier, "Handling Obstacles in Goal-Oriented Requirements Engineering", IEEE Transactions on Software Engineering, Special Issue on Exception Handling, Vol. 26, No. 10, October 2000, 978-1005.
24. A. van Lamsweerde, "Requirements Engineering in the Year 00: A Research Perspective". Invited Keynote Paper, Proc. ICSE'2000: 22nd International Conference on Software Engineering, ACM Press, 2000, 5-19.
25. A. van Lamsweerde, "Formal Specification: a Roadmap", in The Future of Software Engineering, A. Finkelstein (ed.), ACM Press, 2000.
26. A. van Lamsweerde, "From System Goals to Software Architecture", In Formal Methods for Software Architecture, M. Bernardo & P. Inverardi (eds.), LNCS 2804, Springer-Verlag, 2003.
27. J. McLean and C. Heitmeyer, "High Assurance Computer Systems: A Research Agenda", America in the Age of Information, National Science and Technology Council Committee on Information and Communications Forum, Bethesda, 1995.
28. E. Letier, Reasoning about Agents in Goal-Oriented Requirements Engineering. PhD Thesis, Université Catholique de Louvain, Dépt. Ingénierie Informatique, Louvain-laNeuve, Belgium, May 2001. http://www.info.ucl.ac.be/people/eletier/thesis.html
29. E. Letier and A. van Lamsweerde, "Agent-Based Tactics for Goal-Oriented Requirements Elaboration", Proc. ICSE'02: 24th Intl. Conf. on Software Engineering, Orlando, IEEE Computer Society Press, May 2002.
30. E. Letier and A. van Lamsweerde, "Deriving Operational Software Specifications from System Goals", Proc. FSE'10: 10th ACM SIGSOFT Symp. on the Foundations of Software Engineering, Charleston, November 2002.
31. E. Letier, Goal-Oriented Elaboration of Requirements for a Safety Injection Control System. Research Report, Département d'Ingénierie Informatique, UCL, June 2002.
32. N. Leveson, Safeware: System Safety and Computers. Addison-Wesley, 1995.
33. R. Lutz, "Analyzing Software Requirements Errors in Safety-Critical, Embedded Systems", Proc. RE'93: First IEEE International Symposium on Requirements Engineering, January 1993, 126-133.
34. Z. Manna and the STep Group, "STeP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems", Proc. CAV'96 - 8th Intl. Conf. on Computer-Aided Verification, LNCS 1102, Springer-Verlag, July 1996, pp. 415-418.
35. The Standish Group, "Software Chaos", http:// www.standishgroup.com/chaos.html.
36. K. Yue, "What Does It Mean to Say that a Specification is Complete?", Proc. IWSSD-4, Fourth International Workshop on Software Specification and Design, Monterey, 1987.
37. P. Zave and M. Jackson, "Four dark corners of requirements engineering", ACM Trans. on Software Engineering and Methodology, Vol. 6, No. 1, January 1997, 1 - 30.