Automated Software Engineering

, Volume 6, Issue 2, pp 171-198

First online:

Overlaps in Requirements Engineering

  • George SpanoudakisAffiliated withDepartment of Computing, City University, Northampton Square
  • , Anthony FinkelsteinAffiliated withDepartment of Computer Science, University College London
  • , David TillAffiliated withDepartment of Computing, City University, Northampton Square

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access


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.

requirements engineering specification overlaps specification inconsistency