Integrating RE methods to support use case based requirements specification

Author

Maiden, Neil ; Jones, Sara ; Flynn, Mary

Author_Institution

Centre for HCI Design, City Univ., London, UK

fYear

2003

fDate

8-12 Sept. 2003

Firstpage

369

Lastpage

370

Abstract

There has recently been a trend in requirements engineering towards combining techniques in order to complement the deficiencies of one with the strengths of another. RESCUE is a process that continues this tradition and combines human activity modelling and i* system goal modelling in a concurrent engineering approach to support the generation of more complete and correct use case models and descriptions, and hence better requirements. The process is aimed at developing large socio-technical systems where confidence in the correctness and completeness of use cases, and hence requirements, is important. The RESCUE process has been applied and tested in the specification of requirements for CORA-2, a real and large-scale socio-technical system in which computerised assistance will be provided to air traffic controllers.

Keywords

air traffic control; concurrent engineering; formal specification; formal verification; systems analysis; CORA-2 socio-technical system; RE methods integration; RESCUE process; air traffic controller; concurrent engineering; human activity modelling; i* system goal modelling; requirements engineering with scenarios for a user-centred environment; use case based requirements specification; Air traffic control; Computer aided software engineering; Concurrent engineering; Conference management; Design engineering; Engineering management; Human computer interaction; IEEE activities; Innovation management; Modeling;

fLanguage

English

Publisher

ieee

Conference_Titel

Requirements Engineering Conference, 2003. Proceedings. 11th IEEE International

ISSN

1090-705X

Print_ISBN

0-7695-1980-6

Type

conf

DOI

10.1109/ICRE.2003.1232790

Filename

1232790