Reasoning about alternative requirements options

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

Volumn 5600 LNCS, Issue , 2009, Pages 380-397

  Van Lamsweerde, Axel ^a  

^a UNIVERSITÉ CATHOLIQUE DE LOUVAIN   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

GOAL MODELS; MEETING SCHEDULING SYSTEMS; QUALITATIVE REASONING; REQUIREMENTS ENGINEERING PROCESS; SOFT GOALS;

ARTIFICIAL INTELLIGENCE; MODELS;

REQUIREMENTS ENGINEERING;

EID: 69049088940     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-02463-4_20     Document Type: Conference Paper

References (43)

1. Alford, M.: A Requirements Engineering Methodology for Real-Time Processing Requirements. IEEE Transactions on Software Engineering 3(1), 60-69 (1977)
2. Bell, T.E., Thayer, T.A.: Software Requirements: Are They Really a Problem? In: Proc. ICSE 1976: 2nd International Conference on Software Enginering, San Francisco, pp. 61-68 (1976)
3. Boehm, B.W.: Software Engineering Economics. Prentice-Hall, Englewood Cliffs (1981)
4. Borgida, A., Mylopoulos, J., Reiter, R.: And Nothing Else Changes: The Frame Problem in Procedure Specifications. In: Proc. ICSE 1993 - 15th International Conference on Software Engineering, Baltimore (May 1993)
5. Brodie, M., Mylopoulos, J., Schmidt, J. (eds.): On Conceptual Modeling: Perspectives from Artificial Intelligence, Databases, and Programming Languages. Springer, Heidelberg (1984)
6. Brooks, F.P.: No Silver Bullet: Essence and Accidents of Software Engineering. IEEE Computer 20(4), 10-19 (1987)
7. Castro, J., Kolp, M., Mylopoulos, J.: Towards Requirements-Driven Information Systems Engineeering: the TROPOS Project. Information Systems 27, 365-389 (2002)
8. Chung, L., Nixon, B., Yu, E., Mylopoulos, J.: Non-functional requirements in software engineering. Kluwer Academic, Boston (2000)
9. Damas, C., Lambeau, B., van Lamsweerde, A.: Scenarios, Goals, and State Machines: A Win-Win Partnership for Model Synthesis. In: Proceedings of FSE 2006, 14th ACM International Symp. on the Foundations of Software Engineering, November 2006, Portland, OR (2006)
10. Dardenne, A., Fickas, S.S., van Lamsweerde, A.: Goal-directed Concept Acquisition in Requirements Elicitation. In: Proc. 6th International Workshop on Software Specification and Design, Como, Italy, pp. 14-21 (1991)
11. Dardenne, A., van Lamsweerde, A., Fickas, S.: Goal-Directed Requirements Acquisition. Science of Computer Programming 20, 3-50 (1993)
12. Darimont, R., van Lamsweerde, A.: Formal Refinement Patterns for Goal-Driven Requirements Elaboration. In: FSE'4 - Fourth ACM SIGSOFT Symp. on the Foundations of Software Engineering, October 1996, pp. 179-190 (1996)
13. DeMarco, T.: Structured Analysis and System Specification. Yourdon Press (1978)
14. Feather, M.S., Cornford, S.L.: Quantitative Risk-Based Requirements Reasoning. Requirements Engineering Journal 8(4), 248-265 (2003)
15. Fuxman, A., Pistore, M., Mylopoulos, J., Traverso, P.: Model Checking Early Requirements Specifications in Tropos. In: Proc. RE 2001 - 5th Intl. Symp. Requirements Engineering, Toronto (August 2001)
16. Greenspan, S.J., Mylopoulos, J., Borgida, A.: Capturing More World Knowledge in the Requirements Specification. In: Proc. ICSE-1982: 6th Intl. Conf. on Software Enginering, Tokyo (1982)
17. Greenspan, S.J., Borgida, A., Mylopoulos, J.: A Requirements Modeling Language and its Logic. Information Systems 11(1), 9-23 (1986)
18. Heninger, K.L.: Specifying Software Requirements for Complex Systems: New Techniques and their Application. IEEE Transactions on Software Engineering 6(1), 2-13 (1980)
19. Hui, B., Laiskos, S., Mylopoulos, J.: Requirements Analysis for Customizable Software: A Goals Skills Preferences Framework. In: Proc. RE 2003: 11th IEEE Joint Intl. Requirements Engineering Conference, Monterey, CA, September 2003, pp. 117-126 (2003)
20. Jackson, M.: Software Requirements & Specifications - A Lexicon of Practice, Principles and Prejudices. ACM Press, Addison-Wesley (1995)
21. van Lamsweerde, A., Dardenne, A., Delcourt, B., Dubisy, F.: The KAOS Project: Knowledge Acquisition in Automated Specification of Software. In: Proc. AAAI Spring Symposium Series, Track: Design of Composite Systems, Stanford University, American Association for Artificial Intelligence, March 1991, pp. 59-62 (1991)
22. van Lamsweerde, A.: Requirements Engineering in the Year 00: A Research Perspective. In: Proc. ICSE 2000: 22nd International Conference on Software Engineering, pp. 5-19. ACM Press, New York (2000) (invited keynote paper)
23. van Lamsweerde, A.: Elaborating Security Requirements by Construction of Intentional Anti-Models. In: Proc. ICSE 2004, 26th Intl. Conference on Software Engineering, Edinburgh, May 2004, pp. 148-157. ACM-IEEE (2004)
24. van Lamsweerde, A.: Requirements Engineering: From Craft to Discipline. Invited Paper for the ACM Sigsoft Outstanding Research Award, Proc FSE-16: 16th ACM Conference on the Foundations of Software Engineering, Atlanta (November 2008)
25. van Lamsweerde, A.: Requirements Engineering: From System Goals to UML Models to Software Specifications, January 2009. Wiley, Chichester (2009)
26. van Lamsweerde, A., Darimont, R., Letier, E.: Managing Conflicts in Goal-Driven Requirements Engineering. IEEE Transactions on Sofware Engineering 24(11), 908-926 (1998)
27. van Lamsweerde, A., Letier, E.: Handling Obstacles in Goal-Oriented Requirements Engineering. IEEE Transactions on Software Engineering 26(10), 978-1005 (2000)
28. Letier, E., van Lamsweerde, A.: Agent-Based Tactics for Goal-Oriented Requirements Elaboration. In: Proc. ICSE 2002: 24th Intl. Conf. on Software Engineering, May 2002. ACM-IEEE (2002)
29. Letier, E., van Lamsweerde, A.: Deriving Operational Software Specifications from System Goals. In: Proc. FSE'10: 10 th ACM Symp. Foundations of Software Engineering, Charleston (November 2002)
30. Letier, E., van Lamsweerde, A.: Reasoning about Partial Goal Satisfaction for Requirements and Design Engineering. In: Proc. FSE 2004, 12th ACM International Symp. on the Foundations of Software Engineering, Newport Beach, CA, November 2004, pp. 53-62 (2004)
31. Liu, L., Yu, E., Mylopoulos, J.: Security and Privacy Requirements Analysis within a Social Setting. In: Proc. RE 2003: Intl. Requirements Engineering Conf. (September 2003)
32. Mylopoulos, J.: Information Modeling in the Time of the Revolution, Invited Review. Information Systems 23(3-4), 127-155 (1998)
33. Mylopoulos, J., Bernstein, P., Wong, H.: A Language Facility for Designing Interactive Database-Intensive Applications. ACM Transactions on Database Systems 5(2) (June 1980)
34. Mylopoulos, J., Chung, L., Nixon, B.: Representing and Using Nonfunctional Requirements: A Process-Oriented Approach. IEEE Transactions on Sofware Engineering 18(6), 483-497 (1992)
35. Mylopoulos, J., Chung, L., Liao, S., Wong, H., Yu, E.: Exploring Alternatives During Requirements Analysis. IEEE Software 18(1), 92-96 (2001)
36. Mylopoulos, J., Chung, L.L., Yu, E.E.: From Object-Oriented to Goal-Oriented Requirements Analysis. Communications of the ACM 42(1), 31-37 (1999)
37. Parnas, D.L., Madey, J.: Functional Documents for Computer Systems. Science of Computer Programming 25, 41-61 (1995)
38. Ponsard, C., Massonet, P., Molderez, J.F., Rifaut, A., van Lamsweerde, A.: Early Verification and Validation of Mission-Critical Systems. Formal Methods in System Design 30(3), 233-247 (2007)
39. Robertson, S., Robertson, J.: Mastering the Requirements Process. ACM Press, Addison-Wesley (1999)
40. Ross, D.T., Schoman, K.E.: Structured Analysis (SA): A Language for Communicating Ideas. IEEE Transactions on Software Engineering 3(1), 16-34 (1977)
41. Roussopoulos, N., Mylopoulos, J.: Using Semantic Networks for Database Management. In: Proc. 1st Conf. on Very Large Databases (VLDB), September 1975, pp. 144-172 (1975)
42. Tran Van, H., van Lamsweerde, A., Massonet, P., Ponsard, C.: Goal-Oriented Requirements Animation. In: Proc. RE 2004, 12th IEEE Joint International Requirements Engineering Conference, Kyoto, September 2004, pp. 218-228 (2004)
43. Yu, E.S.K.: Modelling Organizations for Information Systems Requirements Engineering. In: Proc. RE 1993 - 1st Intl Symp. on Requirements Engineering, pp. 34-41 (1993)