Computer-aided inconsistency management in software development
File(s)DTR95-4.pdf (129 KB)
Technical report
Author(s)
Nuseibeh, Bashar
Type
Report
Abstract
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 removing inconsistencies, managing inconsistency also includes a wide range of activities that facilitate continued development in the presence of inconsistency. These include procedures for controlled amelioration and avoidance of incosistencies. The paper uses the ViewPoints framework for multi-perspective software development as a vehicle for the discussion, and as a test bed for tool support. The framework facilitates the development and composition of multiple partial specifications (ViewPoints), and is itself supported by automated tools that check and handle inconsistencies (The Viewer). The paper makes a contribution towards a better understanding of the way in which complex software systems are developed, and consequently, the kind of automated tool support that needs to be provided in this setting.
Date Issued
1995-01-01
Citation
Departmental Technical Report: 95/4, 1995, pp.1-15
ISSN
1469-4174
Publisher
Department of Computing, Imperial College London
Start Page
1
End Page
15
Journal / Book Title
Departmental Technical Report: 95/4
Copyright Statement
© 1995 E. Adalat. This report is available open access under a CC-BY-NC-ND (https://creativecommons.org/licenses/by-nc-nd/4.0/)