From scenarios to code: An air traffic control case study

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2003, Pages 490-495

  Whittle, Jon ^a   Saboo, Jyoti ^a   Kwan, Richard ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; AUTOMATION; COMPUTER ARCHITECTURE; FINITE AUTOMATA; SYSTEMS ANALYSIS;

PROFILE SELECTOR; ROUTE ANALYZER;

AIR TRAFFIC CONTROL;

EID: 0038601477     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/icse.2003.1201227     Document Type: Conference Paper

References (11)

1. D. Denery, H. Erzberger, T. Davis, S. Green, and B. McNally. Challenges of air traffic management research: Analysis, simulation and field test. In AIAA Guidance, Navigation and Control Conference, 1997.
2. D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231-274, 1987.
3. Rational Rose RealTime. Rational Software Corporation, Cupertino, CA, 2002.
4. T. Systä. Incremental construction of dynamic models for object oriented software systems. Journal of Object Oriented Programming, 13(5):18-27, 2000.
5. S. Uchitel and J. Kramer. A workbench for synthesizing behavior models from scenarios. In Proceedings of the 23rd IEEE International Conference on Software Engineering (ICSE01), Toronto, Canada, 2001.
6. S. Uchitel, J. Kramer, and J. Magee, Detecting implied scenarios in message sequence chart specifications. In Proceedings of the 9th European Software Engineering Conference (ESEC01), Vienna, Austria, 2001.
7. A. van Lamsweerde, Inferring declarative requirements specifications from operational scenarios. IEEE Transactions on Software Engineering, 24 (12): 1089-1114, 1998.
8. J. Warmer and A. Kleppe, The Object Constraint Language: Precise Modeling with UML. Addison-Wesley Object Technology Series, Addison-Wesley, 1999.
9. K. Weidenhaupt, K. Pohl, M. Jarke, and P. Haumer. Scenarios in system development: Current practice. IEEE Software, pages 34-45, March/April 1998.
10. J. Whittle and J. Schumann. Generating Statechart Designs From Scenarios. In Proceedings of International Conference on Software Engineering (ICSE 2000), pages 314-323, Limerick, Ireland, June 2000.
11. J. Whittle and J. Schumann. Statechart synthesis from scenarios: an air traffic control case study. In Proceedings of Workshop on Scenarios and State Machines at ICSE200, 2002.