Integrating RE methods to support use case based requirements specification

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.