A reference model for requirements engineering

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...

Full description

Saved in:
Bibliographic Details
Main Authors: Hall, J.G., Rapanotti, L.
Format: Conference Proceeding
Language:English
Subjects:
Application software
Control system synthesis
Control systems
Grounding
Logic
Power engineering and energy
Programming
Software engineering
Vocabulary
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:1090-705X
2332-6441
DOI:10.1109/ICRE.2003.1232749