Formal Tools for Managing Inconsistency and Change in RE

@inproceedings{Ghose2000FormalTF,
  title={Formal Tools for Managing Inconsistency and Change in RE},
  author={Aditya K. Ghose},
  booktitle={IWSSD},
  year={2000}
}
Dealing with inconsistencies and change in requirements engineering 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… CONTINUE READING