The Open UniversitySkip to content

A Reference model for Requirements Engineering

Hall, J.G. and Rapanotti, L. (2003). A Reference model for Requirements Engineering. In: 11th IEEE International Conference on Requirements Engineering (RE 2003), 8-12 Sept 2003, Monterey, CA, USA, pp. 181–187.

Google Scholar: Look up in Google Scholar


The reference model of Gunter et al, 2000, provides a framework for describing and analyzing key software engineering artifacts and their properties. We propose a reification of this framework in which behaviour is explicitly trace-based. We find that this benefits the formalism in adding structure in ways which are meaningful and practical from an engineering viewpoint. In particular, we develop notions of points of introduction and reachability in the new framework, and show how they strengthen the properties of the reference model.

Item Type: Conference Item
ISBN: 0-7695-1980-6, 978-0-7695-1980-7
ISSN: 1090-705X
Keywords: formal specification; reachability analysis; systems analysis; reference mode; requirements engineering; software engineering artefacts
Academic Unit/Department: Mathematics, Computing and Technology > Computing & Communications
Interdisciplinary Research Centre: Centre for Research in Computing (CRC)
Item ID: 3322
Depositing User: Jon Hall
Date Deposited: 15 Aug 2006
Last Modified: 02 Dec 2010 19:49
Share this page:

Actions (login may be required)

Policies | Disclaimer

© The Open University   + 44 (0)870 333 4340