Title :
An analysis-revision cycle to evolve requirements specifications
Author :
Garcez, A. S d´Avila ; Russo, A. ; Nuseibeh, B. ; Kramer, J.
Author_Institution :
Dept. of Comput., Imperial Coll. of Sci., Technol. & Med., London, UK
Abstract :
We argue that the evolution of requirements specifications can be supported by a cycle composed of two phases: analysis and revision. We investigate an instance of such a cycle, which combines two techniques of logical abduction and inductive learning to analyze and revise specifications respectively.
Keywords :
formal logic; formal specification; learning by example; systems analysis; analysis; analysis-revision cycle; change management process; inductive learning; logical abduction; requirement specifications evolution; requirements engineer; revision; state transition systems; Bridges; Educational institutions; Engineering management; Heart; Induction generators; Information analysis; Logic;
Conference_Titel :
Automated Software Engineering, 2001. (ASE 2001). Proceedings. 16th Annual International Conference on
Print_ISBN :
0-7695-1426-X
DOI :
10.1109/ASE.2001.989828
