Reasoning About Requirements Evolution Using Clustered Belief Revision

摘要: During the development of system requirements, software specifications are often inconsistent. Inconsistencies may arise for different reasons, example, when multiple conflicting viewpoints embodied in specification, or specification itself is at a transient stage evolution. We argue that formal framework analysis evolving should be able to tolerate inconsistency by allowing reasoning presence without trivialisation, and circumvent enabling impact analyses potential changes carried out. This paper shows how clustered belief revision can help this process.