论文信息 - Goal-oriented requirements engineering: from system objectives to UML models to precise software specifications

Goal-oriented requirements engineering: from system objectives to UML models to precise software specifications

This tutorial presents a comprehensive overview of state-of-the-art techniques for eliciting, modeling, specifying, analyzing and documenting high-quality system requirements.

A. van Lamsweerde

[1] Stephen Fickas,et al. Goal-Directed Requirements Acquisition , 1993, Sci. Comput. Program..

[2] Pericles Loucopoulos,et al. System Requirements Engineering , 1995, System Requirements Engineering.

[3] Michael A. Jackson,et al. Software requirements and specifications - a lexicon of practice, principles and prejudices , 1995 .

[4] Axel van Lamsweerde,et al. Formal refinement patterns for goal-driven requirements elaboration , 1996, SIGSOFT '96.

[5] Desmond D'Souza,et al. Objects, Components, and Frameworks with UML: The Catalysis Approach , 1998 .

[6] Ian Sommerville,et al. Requirements Engineering: Processes and Techniques , 1998 .

[7] Axel van Lamsweerde,et al. Managing Conflicts in Goal-Driven Requirements Engineering , 1998, IEEE Trans. Software Eng..

[8] Ivar Jacobson,et al. The Unified Modeling Language User Guide , 1998, J. Database Manag..

[9] Axel van Lamsweerde,et al. Requirements engineering in the year 00: a research perspective , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.

[10] John Mylopoulos,et al. Non-Functional Requirements in Software Engineering , 2000, International Series in Software Engineering.

[11] Axel van Lamsweerde,et al. Handling Obstacles in Goal-Oriented Requirements Engineering , 2000, IEEE Trans. Software Eng..

[12] Axel van Lamsweerde,et al. Agent-based tactics for goal-oriented requirements elaboration , 2002, ICSE '02.