UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

From object orientation to goal orientation: A paradigm shift for requirements engineering

van Lamsweerde, A; Letier, E; (2004) From object orientation to goal orientation: A paradigm shift for requirements engineering. In: Wirsing, M and Knapp, A and Balsamo, S, (eds.) RADICAL INNOVATIONS OF SOFTWARE AND SYSTEMS ENGINEERING IN THE FUTURE. (pp. 325 - 340). SPRINGER-VERLAG BERLIN

Full text not available from this repository.

Abstract

Requirements engineering (RE) is concerned with the elicitation of the objectives to be achieved by the system envisioned, the operationalization of such objectives into specifications of services and constraints, the assignment of responsibilities for the resulting requirements to agents such as humans, devices and software, and the evolution of such requirements over time and across system families. Getting high-quality requirements is difficult and critical. Recent surveys have confirmed the growing recognition of RE as an area of primary concern in software engineering research and practice. The paper reviews the important limitations of OO modeling and formal specification technology when applied to this early phase of the software lifecycle. It argues that goals are an essential abstraction for eliciting, elaborating, modeling, specifying, analyzing, verifying, negotiating and documenting robust and conflict-free requirements. A safety injection system for a nuclear power plant is used as a running example to illustrate the key role of goals while engineering requirements for high assurance systems.

Type:Proceedings paper
Title:From object orientation to goal orientation: A paradigm shift for requirements engineering
Event:9th International Workshop on Radical Innovations of Software and Systems Engineering in the Future
Location:Venice, ITALY
Dates:2002-10-07 - 2002-10-11
ISBN:3-540-21179-9
Keywords:goal-oriented requirements engineering, high assurance systems, safety, specification building process, lightweight formal methods, COMPOSITE SYSTEMS
UCL classification:UCL > School of BEAMS > Faculty of Engineering Science > Computer Science

Archive Staff Only: edit this record