UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

A semi-automatic process of identifying overlaps and inconsistencies between requirements specifications

Spanoudakis, G; Finkelstein, A; (1998) A semi-automatic process of identifying overlaps and inconsistencies between requirements specifications. OOIS'98: 1998 INTERNATIONAL CONFERENCE OBJECT ORIENTED INFORMATION SYSTEMS, PROCEEDINGS 405 - 424.

Full text not available from this repository.

Abstract

Reconciliation is a method which supports the detection and verification of overlaps and the resolution of certain forms of inconsistencies between requirements specifications expressed in an object-oriented framework. The method identifies a set of candidate overlaps between two specifications by analysing their similarity. These overlaps are assessed by the authors of the specifications. If the authors disagree with the overlaps identified by analysis, the method guides them through an exploration activity aimed at (1) identifying inconsistencies in the modelling of the specifications with respect to the overlaps indicated by them, and (2) resolving these inconsistencies in a way which ensures that the results of further analysis will converge with overlaps indicated by the authors. This paper provides an overview of the method focusing on the process of identifying and resolving inconsistencies between specifications.

Type:Article
Title:A semi-automatic process of identifying overlaps and inconsistencies between requirements specifications
Location:PARIS, FRANCE
Keywords:inconsistency management, requirements engineering, object-oriented methods, VIEWPOINTS
UCL classification:UCL > School of BEAMS > Faculty of Engineering Science > Engineering Science Faculty Office

Archive Staff Only: edit this record