Abstract
During the development of system requirements, software system specifications are often inconsistent. Inconsistencies may arise for different reasons, for example, when multiple conflicting viewpoints are embodied in the specification, or when the specification itself is at a transient stage of evolution. We argue that a formal framework for the analysis of evolving specifications should be able to tolerate inconsistency by allowing reasoning in the presence of inconsistency without trivialisation, and circumvent inconsistency by enabling impact analyses of potential changes to be carried out. This paper shows how clustered belief revision can help in this process. © Springer-Verlag 2004.
Cite
CITATION STYLE
Rodrigues, O., Garcez, A. D. A., & Russo, A. (2004). Reasoning about requirements evolution using clustered belief revision. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3171, 41–51. https://doi.org/10.1007/978-3-540-28645-5_5
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
