Authors
Bashar Nuseibeh
Publication date
1996/3/22
Source
Proceedings of the 8th International Workshop on Software Specification and Design
Pages
164-169
Publisher
IEEE
Description
The development of software systems involves the detection and handling of inconsistencies. These inconsistencies arise in system requirements, design specifications and, quite often in the descriptions that form the final implemented software product. The paper presents a critical review of approaches that explicitly tolerate and manage inconsistencies, and explores different kinds of inconsistencies that arise during different stages of software development. Managing inconsistency refers not only to the detection and removal of inconsistencies, but also to activities that facilitate continued development in their presence. Such activities include procedures for controlled amelioration or avoidance of inconsistency, which in turn may require analysis and reasoning in the presence of inconsistency.
Total citations
Scholar articles
B Nuseibeh - Proceedings of the 8th International Workshop on …, 1996