Computer-Aided Inconsistency Management in Software Development

  title={Computer-Aided Inconsistency Management in Software Development},
  author={Bashar Nuseibeh},
The incremental development of software systems involves the detection and handling of inconsistencies. These inconsistencies arise in system requirements, design specifications and, quite often, in the final implemented software product. In this paper we explore different kinds of inconsistency that arise during different stages of software development, and examine the scope and role of computer-based tool support for managing inconsistency in this setting. In addition to detecting and… CONTINUE READING


Publications referenced by this paper.
Showing 1-10 of 25 references

Tolerating Inconsistency

ICSE • 1991
View 3 Excerpts
Highly Influenced

Modularized exception handling

ISAW '96 • 1996
View 2 Excerpts

Decentralised Process Modelling”

B. Nuseibeh, J. Kramer, A. Finkelstein, U. Leonhardt
Proceedings of 4th European Workshop on Software Process Technology (EWSPT ‘95), Noordwijkerhout, • 1995

Coordinating Distributed ViewPoints: The Anatomy of a Consistency Check”; Concurrent Engineering: Research and Applications

S. Easterbrook, A. Finkelstein, J. Kramer, B. Nuseibeh
View 1 Excerpt

Quasi-classical Logic: Non-trvializable classical reasoning from inconsistent information”

P. Besnard, A. Hunter
Technical report, • 1994
View 1 Excerpt

Software Process Modelling and Technology, Advanced Software Development Series, Research Studies

A. Finkelstein, J. Kramer, B. Nuseibeh
Press Ltd. (Wiley), • 1994
View 1 Excerpt

Similar Papers

Loading similar papers…