. Modeldriven requirements engineering: Synchronising models in an air traffic management case study. Lecture Notes in Computer Science: Advanced Information Systems Engineering, 3084, pp. 368-383. doi: 10.1007/978-3-540-25975-6_27 This is the unspecified version of the paper.This version of the publication may differ from the final published version. This paper describes the application of RESCUE, a process that integrates 4 modelling techniques to model and analyse stakeholder requirements for DMAN, a system for scheduling and managing the departure of aircraft from major European airports. It describes how human activity, use case and i * modelling were applied and integrated using synchronisation checks t o model requirements on DMAN. Synchronisation checks applied at predefined stages in RESCUE revealed omissions and potential inconsistencies in the models and stakeholder requirements that, in turn, led to improvements to the models and resulting specification. The paper ends with implications for requirements model integration, and describes future work to extend and apply RESCUE.
Permanent