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. |
Year | DOI | Venue |
---|---|---|
2003 | 10.1109/ICRE.2003.1232790 | RE |
Keywords | Field | DocType |
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 | Systems engineering,Software engineering,Computer science,Requirements engineering,Requirements analysis,Requirement,Goal modeling,System requirements specification,Software requirements specification,Functional specification,Non-functional requirement | Conference |
ISSN | ISBN | Citations |
1090-705X | 0-7695-1980-6 | 4 |
PageRank | References | Authors |
1.01 | 1 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Neil A. M. Maiden | 1 | 2419 | 207.41 |
Sara Jones | 2 | 140 | 13.17 |
Mary Flynn | 3 | 4 | 1.01 |