Title :
Goal-oriented requirements engineering: from system objectives to UML models to precise software specifications
Author :
Van Lamsweerde, Axel
Author_Institution :
Dept. of Comput. Sci., Univ. of Louvain, Louvain-la-Neuve, Belgium
Abstract :
This tutorial presents a comprehensive overview of state-of-the-art techniques for eliciting, modeling, specifying, analyzing and documenting high-quality system requirements.
Keywords :
formal specification; software agents; specification languages; systems analysis; UML models; goal-oriented requirements engineering; software modeling; software specifications; Systems engineering and theory; Unified modeling language;
Conference_Titel :
Software Engineering, 2003. Proceedings. 25th International Conference on
Print_ISBN :
0-7695-1877-X
DOI :
10.1109/ICSE.2003.1201266