Formal tools for managing inconsistency and change in RE
This paper originally appeared as: Ghose, AK, Formal tools for managing inconsistency and change in RE, Tenth International Workshop on Software Specification and Design, 5-7 November 2000, 171-181. Copyright IEEE 2000.
Dealing with inconsistencies and change in requirements engineering (RE) is known to be a difficult problem. We propose a formal, integrated approach to inconsistency handling and requirements evolution with a focus on providing automated support. We define a novel representation scheme that is expressive and able to maintain several key semantic distinctions. Based on this scheme, we define a toolkit of inconsistency handling technique. We define a principled process for evolving such specifications, with minimal computational cost and user intervention. Finally, we describe the REFORM system which implements some of these techniques.
A. Ghose. "Formal tools for managing inconsistency and change in RE" Faculty of Informatics - Papers (2000).
Available at: http://works.bepress.com/aghose/16