DocumentCode
2339705
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
fYear
2001
fDate
26-29 Nov. 2001
Firstpage
354
Lastpage
358
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Automated Software Engineering, 2001. (ASE 2001). Proceedings. 16th Annual International Conference on
ISSN
1938-4300
Print_ISBN
0-7695-1426-X
Type
conf
DOI
10.1109/ASE.2001.989828
Filename
989828
Link To Document