GRAIL/KAOS: An Environment for Goal-Driven Requirements Engineering

The KAOS methodology provides a language and method for goal-driven requirements elaboration. GRAIL is an environment under development to support the KAOS methodology. The GRAIL kernel combines a graphical view, a textual view, an abstract syntax view, and an object base view of specifications. GRAIL has been used to elicit and specify the requirements of several real, industrial projects.

[1]  Lori A. Clarke,et al.  A framework for event-based software integration , 1996, TSEM.

[2]  Axel van Lamsweerde,et al.  Generic Lifecycle Support in the ALMA Environment , 1988, IEEE Trans. Software Eng..

[3]  Thomas W. Reps,et al.  The synthesizer generator , 1984, SDE 1.

[4]  Thomas Reps,et al.  The synthesizer generator reference manual (3. ed.) , 1989 .

[5]  Philippe Massonet,et al.  Goal-directed elaboration of requirements for a meeting scheduler: problems and lessons learnt , 1995, Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE'95).

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