From scenarios to code: an air traffic control case study
- 1 January 2003
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- No. 02705257,p. 490-495
- https://doi.org/10.1109/icse.2003.1201227
Abstract
Two high profile workshops at OOPSLA and ICSE, an IEEE Computer article by David Harel and a growing number of research papers have all suggested algorithms that translate scenarios of a system's behavior into state machines. One of the uses of such algorithms is in the transition from requirements scenarios to component design. To date, however, most efforts have concentrated on the algorithmic details of the proposed translations. Less work has been done on evaluating these algorithms on a realistic case study. In this paper, we do exactly that for the algorithm presented in [10]. Our study is a component of an air traffic advisory system developed at NASA Ames Research Center.Keywords
This publication has 6 references indexed in Scilit:
- From scenarios to code: an air traffic control case studyPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Generating statechart designs from scenariosPublished by Association for Computing Machinery (ACM) ,2000
- Inferring declarative requirements specifications from operational scenariosIEEE Transactions on Software Engineering, 1998
- Scenarios in system development: current practiceIEEE Software, 1998
- Challenges of air traffic management research - Analysis, simulation, and field testPublished by American Institute of Aeronautics and Astronautics (AIAA) ,1997
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987