Overlaps in Requirements Engineering

  • Authors:

  • George Spanoudakis;Anthony Finkelsteiin;David Till

  • Affiliations:

  • Department of Computing, City University, Northampton Square, London EC1V 0HB, UK. gespan@soi.city.ac.uk;Department of Computer Science, University College London, Gower Street, London WC1E 6BT, UK. acwf@cs.ucl.ac.uk;Department of Computing, City University, Northampton Square, London EC1V 0HB, UK. till@soi.city.ac.uk

  • Venue:
  • Automated Software Engineering
  • Year:
  • 1999

Quantified Score

Hi-index 0.00

Visualization

Abstract

Although overlap between specifications—that is theincorporation of elements which designate common aspects of thesystem of concern—is a precondition for specificationinconsistency, it has only been a side concern in requirementsengineering research. This paper is concerned with overlaps. Itdefines overlap relations in terms of specification interpretations,identifies properties of these relations which are derived from theproposed definition, shows how overlaps may affect the detection ofinconsistency; shows how specifications could be rewritten to reflectoverlap relations and still be amenable to consistency checking usingtheorem proving; analyses various methods that have been proposed foridentifying overlaps with respect to the proposed definition; andoutlines directions for future research.