Requirements engineering: From craft to discipline

Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering

Volumn , Issue , 2008, Pages 238-249

  Van Lamsweerde, Axel ^a  

^a UNIVERSITÉ CATHOLIQUE DE LOUVAIN   (Belgium)

Author keywords

Formal derivation; Goal orientation; Lightweight analysis; Operationalization; Problem modeling; Requirements engineering; Responsibility assignment; Specification construction; System design

Indexed keywords

CONSTRUCTION SYSTEMS; FORMAL DERIVATION; GOAL ORIENTATIONS; LIGHTWEIGHT ANALYSIS; PROBLEM MODELING;

COMPUTER SOFTWARE; MODEL STRUCTURES; REQUIREMENTS ENGINEERING; RISK ANALYSIS; RISK ASSESSMENT; SPECIFICATIONS;

MATHEMATICAL MODELS;

EID: 73549122454     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1453101.1453133     Document Type: Conference Paper

References (36)

1. Chung, L., Nixon, B., Yu E. and Mylopoulos, J., Nonfunctional requirements in software engineering. Kluwer Academic, Boston, 2000.
2. Damas, C., Lambeau, B., Dupont, P. and van Lamsweerde, A., "Generating Annotated Behavior Models from End-User Scenarios", IEEE Transactions on Software Engineering, Vol.31, No.12, December 2005 , 1056-1073.
3. Damas, C., Lambeau, B. and van Lamsweerde, A., "Scenarios, Goals, and State Machines: A Win-Win Partnership for Model Synthesis", Proc. FSE'06, 14th ACM Sigsoft Symp. on the Foundations of Software Engineering, Portland (OR), November 2006.
4. Dardenne, A., van Lamsweerde, A. and Fickas, S. (1993). "Goal-Directed Requirements Acquisition", Science of Computer Programming, Vol.20, 3-50.
5. Darimont, R. and van Lamsweerde, A., "Formal Refinement Patterns for Goal-Driven Requirements Elaboration", Proc. FSE'4 - Fourth ACM SIGSOFT Symp. on the Foundations of Software Engineering, San Francisco, Oct. 1996 , 179-190.
6. Darimont, R., Delor, E., Massonet, P. and van Lamsweerde, A., "GRAIL/KAOS: An Environment for Goal-Driven Requirements Engineering", Proc. ICSE'98 - 20th Intl. Conf. on Software Engineering, Kyoto, April 1998, vol.2, 58-62.
7. Darimont, R. and Lemoine, M. "Security Requirements for Civil Aviation with UML and Goal Orientation", Proc. REFSQ'07 - Intl. Working Conference on Foundations for Software Quality, Trondheim (Norway), LNCS 4542, Springer-Verlag, 2007.
8. De Landtsheer, R., Letier, E. and van Lamsweerde, A., "Deriving Tabular Event-Based Specifications from Goal- Oriented Requirements Models", Requirements Engineering Journal, Vol.9 No.2, 2004, 104-120.
9. De Landtsheer, R. and van Lamsweerde, A., "Reasoning About Confidentiality at Requirements Engineering Time", Proc. ESEC/FSE'05, Lisbon, Portugal, September 2005.
10. Feather, M., "Language Support for the Specification and Development of Composite Systems", ACM Trans. on Programming Languages and Systems 9(2), April, 198-234.
11. Feather, M., Fickas, S., van Lamsweerde, A. and Ponsard, C., "Reconciling System Requirements and Runtime Behaviour", Proc. IWSSD'98 - 9th Intl. Workshop on Software Specification and Design, Isobe, IEEE, April 1998.
12. Jackson, M., "The World and the Machine", Proc. ICSE'95: 17th International Conference on Software Engineering, ACM Press, 1995, pp. 283-292.
13. van Lamsweerde, A., Learning Machine Learning. In Introducing a Logic Based Approach to Artificial Intelligence, A. Thayse (Ed.), Vol.3, Wiley, 1991, 263-356.
14. van Lamsweerde , A.,"Goal-Oriented Requirements Engineering: A Guided Tour", Invited Minitutorial, Proc. RE'01 - 5th Intl. Symp. Requirements Engineering, Toronto, Aug. 2001, 249-263.
15. van Lamsweerde, A., "From System Goals to Software Architecture", in Formal Methods for Software Architecture, LNCS 2804, Springer-Verlag, 2003.
16. van Lamsweerde, A.,"Elaborating Security Requirements by Construction of Intentional Anti-Models", Proc. ICSE'04, 26th International Conference on Software Engineering, Edinburgh, May 2004, ACM-IEEE, 148-157.
17. van Lamsweerde, A., "Goal-Oriented Requirements Engineering: A Roundtrip from Research to Practice", Keynote paper, Proc. RE'04, 12th IEEE Joint Intl. Requirements Engineering Conf., Kyoto, Sept. 2004, 4-8.
18. van Lamsweerde, A., Requirements Engineering: From System Goals to UML Models to Software Specifications. Wiley, 2008.
19. van Lamsweerde, A., Darimont, R. and Letier, E., "Managing Conflicts in Goal-Driven Requirements Engineering", IEEE Trans. on Sofware. Engineering, Vol.24 No.11, November 1998 , 908-926.
20. van Lamsweerde, A., Darimont, R. and Massonet, Ph., "Goal-Directed Elaboration of Requirements for a Meeting Scheduler: Problems and Lessons Learnt", Proc. RE'95 - 2nd Intl. IEEE Symp. on Requirements Engineering, March 1995, 194-203.
21. van Lamsweerde, A., Delcourt, B., Delor, E., Schayes, M.C. and Champagne, R., "Generic Lifecycle Support in the ALMA Environment", IEEE Transactions on Software Engineering, Vol.14, No.6, June 1988, 720-741.
22. van Lamsweerde, A. and Letier, E. "Handling Obstacles in Goal-Oriented Requirements Engineering", IEEE Trans. on Software Engineering, Special Issue on Exception Handling, Vol.26 No.10, October 2000, 978-1005.
23. van Lamsweerde, A. and Sintzoff, M., Formal Derivation of Strongly Correct Concurrent Programs. Acta Informatica Vol.12, Springer Verlag, 1979, 1-31. (Pubitemid 9477532)
24. van Lamsweerde, A. and Willemet, L., "Inferring Declarative Requirements Specifications from Operational Scenarios", IEEE Trans. on Sofware. Engineering, Vol.24 No.12, December 1998 , 1089-1114. (Pubitemid 128741297)
25. Letier, E. and van Lamsweerde, A., "Agent-Based Tactics for Goal-Oriented Requirements Elaboration", Proc. ICSE'02: 24th Intl. Conf. on Software Engineering, Orlando, IEEE Press, May 2002. (Pubitemid 35009100)
26. Letier, E. and van Lamsweerde, A., "Deriving Operational Software Specifications from System Goals", Proc. FSE'10: 10th ACM Symp. Foundations of Software Engineering, Charleston, November 2002.
27. Letier, E. and van Lamsweerde, A., "Reasoning about Partial Goal Satisfaction for Requirements and Design Engineering", Proc. ACM FSE'04, 2004, 53-62. (Pubitemid 40787567)
28. Letier, E., Kramer, J., Magee, J., and S. Uchitel, "Deriving Event-based Transition Systems from Goal-oriented Requirements Models", Automated Software Engineering Vol. 15 No. 2, 2008, 175-206.
29. Magee, J. and Kramer, J. Concurrency - State Models & Java Programs. Second edition, Wiley, 2006.
30. Massonet, P. and van Lamsweerde, A., "Analogical Reuse of Requirements Frameworks", Proc. RE-97 - 3rd Int. Symp. on Requirements Engineering, Annapolis, Jan. 1997 26-37.
31. Objectiver, http://www.objectiver.com.
32. http://www.kinetium.com/map/demo/demo-index.html.
33. Parnas, D.L. and J. Madey, J., "Functional Documents for Computer Systems", Science of Computer Programming, Vol.25, 1995, 41-61.
34. Ponsard, C., Massonet, P. Molderez, J.F., Rifaut, A., and van Lamsweerde, A. "Early Verification and Validation of Mission-Critical Systems", Formal Methods in System Design Vol. 30 No. 3, Springer, June 2007, 233-247.
35. Tran Van, H., van Lamsweerde, A., Massonet, P. and Ponsard, Ch., "Goal-Oriented Requirements Animation", Proc. RE'04, 12th IEEE Joint International Requirements Engineering Conference, Kyoto, Sept. 2004, 218-222
36. Yue, K. "What Does It Mean to Say that a Specification is Complete?", Proc. IWSSD-4, Fourth International Workshop on Software Specification and Design, Monterey, 1987.