Overlaps Among Requirements Specifications

Although overlap between specifications – that is the incorporation of elements which designate common features of the domain of discourse – is a prerequisite for specification inconsistency, it has only been a side concern in requirements engineering research. This paper discusses overlap, points out the complicating factors in its identification an outlines the key components of a programme of research in this area.

[1]  George Spanoudakis,et al.  Reconciling requirements: a method for managing interference, inconsistency and conflict , 1997, Ann. Softw. Eng..

[2]  Julio Cesar Sampaio do Prado Leite,et al.  Requirements Validation through Specification Resolution , 1991 .

[3]  William N. Robinson,et al.  Supporting multi-perspective requirements engineering , 1994, Proceedings of IEEE International Conference on Requirements Engineering.

[4]  A. Finkelstein.  Report of the Inquiry into the London Ambulance Service , 1993 .

[5]  Thomas R. Gruber,et al.  Toward principles for the design of ontologies used for knowledge sharing? , 1995, Int. J. Hum. Comput. Stud..

[6]  Steve M. Easterbrook,et al.  Using ViewPoints for inconsistency management , 1996, Softw. Eng. J..

[7]  Constance L. Heitmeyer,et al.  Consistency checking of SCR-style requirements specifications , 1995, Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE'95).

[8]  Axel van Lamsweerde,et al.  Divergent views in goal-driven requirements engineering , 1996, ISAW/Viewpoints@FSE.

[9]  George Spanoudakis,et al.  Managing interference , 1996, ISAW '96.

[10]  Michael Jackson,et al.  Conjunction as composition , 1993, TSEM.

[11]  Steve Easterbrook,et al.  Handling conflict between domain descriptions with computer-supported negotiation , 1991 .

[12]  Matthias Jarke,et al.  Managing Multiple Requirements Perspectives with Metamodels , 1996, IEEE Softw..

[13]  Bashar Nuseibeh,et al.  Coordinating distributed ViewPoints: the Anatomy of a Consistency Check , 1994 .

[14]  Dov M. Gabbay,et al.  Inconsistency Handling in Multi-Perspective Specifications , 1993, ESEC.

[15]  Dov M. Gabbay,et al.  Inconsistency Handling in Multperspective Specifications , 1994, IEEE Trans. Software Eng..

[16]  Nicola Guarino,et al.  The Ontological Level , 1994 .