An analysis-revision cycle to evolve requirements specifications
Artur d’Avila Garcez, Alessandra Russo, Bashar Nuseibeh, Jeff Kramer · 2005
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.