Goal-oriented requirements engine ring: A roundtrip from research to practice

Proceedings of the IEEE International Conference on Requirements Engineering

Volumn , Issue , 2004, Pages 4-7

  Van Lamsweerde, Axel ^a  

^a UNIVERSITÉ CATHOLIQUE DE LOUVAIN   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; ENGINEERING RESEARCH; MULTI AGENT SYSTEMS; OPERATIONS RESEARCH; SOCIETIES AND INSTITUTIONS; SYSTEM PROGRAM DOCUMENTATION; TECHNOLOGY TRANSFER;

AND/OR STRUCTURING OF GOALS; GOAL MODELS; GOAL-ORIENTED REQUIREMENTS ENGINEERING (GORE); REQUIREMENT ELICITATION;

COMPUTER SOFTWARE;

EID: 17044375921     PISSN: 1090705X     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (33)

1. A.I. Anton & C. Potts, "The Use of Goals to Surface Requirements for Evolving Systems", Proc. ICSE-98: 20th Intl Conf. on Software Enginering, Kyoto, April 1998.
2. A. Anton, J. Earp and A. Reese, "Analyzing Website Privacy Requirements Using a Privacy Goal Taxonomy", Proc. RE'02 - Intl. Requirements Engineering Conf., Essen, Sept. 2002.
3. B. W. Boehm, P. Bose, E. Horowitz, & M. J. Lee, "Soft ware Requirements Negotiation and Renegotiation Aids: A Theory-W Based Spiral Approach", Proc. ICSE-17: 17th Intl. Conf. on Software Engineering, Seattle, 1995.
4. A. Cockburn, Writing Effective Use Cases. Addison-Wesley, 2001.
5. A. Dardenne, A. van Lamsweerde and S. Fickas, "Goal-Directed Requirements Acquisition", Science of Computer Programming, Vol. 20, 1993, 3-50.
6. R. Darimont & A. van Lamsweerde, "Formal Refinement Patterns for Goal-Driven Requirements Elaboration", Proc. FSE'4: 4th ACM Symp. on Foundations of Software Engineering, Oct. 1996.
7. M. Feather, "Language Support for the Specification and Development of Composite Systems", ACM Trans. on Programming Languages and Systems9(2), Apr. 87, 198-234.
8. M. Feather, S. Fickas, A. van Lamsweerde & C. Ponsard, "Reconciling System Requirements and Runtime Behaviour", Proc. IWSSD'98 - 9th Intl. Workshop on Software Specification and Design, Isobe, IEEE CS Press, April 1998.
9. D. Gross & E. Yu, "From Non-Functional Requirements to Design through Patterns", Requirements Engineering Jl. Vol. 6, 2001, 18-36.
10. C. Jones, "Variations in Software Development Practices", IEEE Software, Dec. 2003.
11. A. van Lamsweerde, R. Darimont and E. Letier, "Managing Conflicts in Goal-Driven Requirements Engineering", IEEE Trans. on Sofware. Engineering, Nov. 1998.
12. A. van Lamsweerde & L. Willemet, "Inferring Declarative Requirements Specifications from Operational Scenarios", IEEE Trans. on Sofware. Engineering, Dec. 1998.
13. A. van Lamsweerde & E. Letier, "Handling Obstacles in Goal-Oriented Requirements Engineering", IEEE Transactions on Software Engineering, Oct. 2000.
14. A. van Lamsweerde, "Goal-Oriented Requirements Engineering: A Guided Tour", Proc. RE'01: 5th Intl. Symp. Req. Eng., Aug. 2001.
15. A. van Lamsweerde, "From System Goals to Software Architecture", in Formal Methods for Software Architectures, M. Bernardo & P. Inverardi (eds.), LNCS 2804, Springer-Verlag, 2003.
16. A. van Lamsweerde, "Elaborating Security Requirements by Construction of Intentional Anti-Models", Proc. ICSE'04: 26th Intl. Conf. on Software Engineering, May 2004.
17. A. van Lamsweerde, Goal-Oriented Requirements Engineering: From System Objectives to UML Models to Precise Software Specifications. Wiley, 2005.
18. E. Letier & A. van Lamsweerde, "Agent-Based Tactics for Goal-Oriented Requirements Elaboration", Proc. ICSE'02:24th Intl. Conf. on Software Engineering, May 2002.
19. E. Letier & A. van Lamsweerde, "Deriving Operational Software Specifications from System Goals", Proc. FSE'10: 10th ACM Symp. on the Foundations of Software Engineering, Charleston, Nov. 2002.
20. E. Letier & A. van Lamsweerde, "Reasoning about Partial Goal Satisfaction for Requirements and Design Engineering", Proc. FSE'12: 12th ACM Symp. on the Foundations of Software Eng., Nov. 2004.
21. L. Liu, E. Yu and J. Mylopoulos, "Security and Privacy Requirements Analysis within a Social Setting", Proc. RE'03: Intl. Requirements Engineering Conf., Sept. 2003.
22. P. Massonet and A. van Lamsweerde, "Analogical Reuse of Requirements Frameworks", Proc. RE-97: 3rd Int. Symp. on Requirements Engineering, Annapolis, 1997, 26-37.
23. J. Mostow, "A Problem Solver for Making Advice Operational", Proc. AAAI-83, Morgan Kaufman, 1983, 279-283.
24. E. Munford, "Participative Systems Design: Structure and Method", Systems, Objectives, Solutions, Vol. 1, North-Holland, 1981, 5-19.
25. Mylopoulos, J., Chung, L., Nixon, B., "Representing and Using Nonfunctional Requirements: A Process-Oriented Approach", IEEE Trans. on Sofware. Engineering, Vol. 18 No. 6, June 1992.
26. N.J. Nilsson, Problem-Solving Methods in Artificial Intelligence, McGraw-Hill, 1971.
27. http://www.objectiver.com.
28. C. Potts, "Using Schematic Scenarios to Understand User Needs", Proc. DIS'95 - ACM Symp. Designing Interactive Systems: Processes, Practices and Techniques, Univ. Michigan, Aug. 1995.
29. A. Rifaut et al, "FAUST: Formal Analysis of Goal-Oriented Requirements Using Specification Tools", Proc. RE'03, Sept. 2003.
30. C. Rolland, C. Souveyet & C. Ben Achour, "Guiding Goal Modeling Using Scenarios", IEEE Trans. Sofware Eng., Dec. 1998.
31. D.T. Ross, K.E. Schoman, "Structured Analysis for Requirements Definition", IEEE Transactions on Software Eng., Vol. 3, No. 1, 1977.
32. K. Yue, "What Does It Mean to Say that a Specification is Complete?", Proc. IWSSD-4: 4th Intl. Workshop on Software Specification & Design, IEEE, Monterey, 1987.
33. E.S.K. Yu, "Modelling Organizations for Information Systems Requirements Engineering", Proc. RE'93: 1st Intl Symp. on Requirements Engineering, IEEE, 1993.