A Reference model for Requirements Engineering

Hall, J.G. and Rapanotti, L. (2003). A Reference model for Requirements Engineering. In: Proceedings of the 11th IEEE International Requirements Engineering Conference, pp. 181–187.

URL: http://ieeexplore.ieee.org/search/srchabstract.jsp...

Abstract

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.

Viewing alternatives

Item Actions

Export

You can export this page using these formats

About

• Item ORO ID
• 3322
• Item Type
• Conference or Workshop 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 or School
• Faculty of Science, Technology, Engineering and Mathematics (STEM) > Computing and Communications
  Faculty of Science, Technology, Engineering and Mathematics (STEM)
• Research Group
• Centre for Research in Computing (CRC)
• Depositing User
• Jon G. Hall