Abstract
We argue that the evolution of requirements specifications can be supported by a cycle composed of two phases: analysis and revision. In this paper, we investigate an instance of such a cycle, which combines two techniques of logical abduction and inductive learning to analyze and revise specifications respectively.