Overlaps in Requirements Engineering |
| |
Authors: | George Spanoudakis Anthony Finkelstein David Till |
| |
Affiliation: | (1) Department of Computing, City University, Northampton Square, London, EC1V 0HB, UK;(2) Department of Computer Science, University College London, Gower Street, London, WC1E 6BT, UK |
| |
Abstract: | Although overlap between specifications—that is the incorporation of elements which designate common aspects of the system of concern—is a precondition for specification inconsistency, it has only been a side concern in requirements engineering research. This paper is concerned with overlaps. It defines overlap relations in terms of specification interpretations, identifies properties of these relations which are derived from the proposed definition, shows how overlaps may affect the detection of inconsistency; shows how specifications could be rewritten to reflect overlap relations and still be amenable to consistency checking using theorem proving; analyses various methods that have been proposed for identifying overlaps with respect to the proposed definition; and outlines directions for future research. |
| |
Keywords: | requirements engineering specification overlaps specification inconsistency |
本文献已被 SpringerLink 等数据库收录! |
|