A Reference Model for Requirements Engineering

Authors:
Jon G. Hall;Lucia Rapanotti
Affiliations:
-;-
Venue:
RE '03 Proceedings of the 11th IEEE International Conference on Requirements Engineering
Year:
2003

Citing 0
Cited 4

What Can We Expect from Program Verification?

Computer
Research Directions in Requirements Engineering

FOSE '07 2007 Future of Software Engineering
Editorial: A roadmap of problem frames research

Information and Software Technology
Problem frames and software engineering

Information and Software Technology

Quantified Score

Hi-index	0.00

Visualization

Abstract

The Reference Model of Gunter et al., 2000, provides a framework for describing and analyzing key software engineering artifacts and their properties. In this paper 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.