2nd International Workshop on Living with Inconsistency

@article{Easterbrook20012ndIW,
  title={2nd International Workshop on Living with Inconsistency},
  author={Steve M. Easterbrook and Marsha Chechik},
  journal={ACM SIGSOFT Software Engineering Notes},
  year={2001},
  volume={26},
  pages={76-78}
}
In software engineering, there has long been a recognition that inconsistency is a fact of life. Evolving descriptions of software artefacts are frequently inconsistent, and tolerating this inconsistency is important if flexible collaborative working is to be supported. This workshop will focus on reasoning in the presence of inconsistency, for a wide range of software engineering activities, such as building and exploring requirements models, validating specifications, verifying correctness of… CONTINUE READING