From scenarios to code: An air traffic control case study

Jon Whittle, Jyoti Saboo, Richard Kwan

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

15 Citations (Scopus)

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.

Original languageEnglish
Title of host publicationProceedings - International Conference on Software Engineering
Pages490-495
Number of pages6
Publication statusPublished - 1 Jan 2003
EventInternational Conference on Software Engineering - Portland Oregon, Washington DC USA
Duration: 1 Jan 2003 → …

Conference

ConferenceInternational Conference on Software Engineering
CityWashington DC USA
Period1/01/03 → …

Cite this

Whittle, J., Saboo, J., & Kwan, R. (2003). From scenarios to code: An air traffic control case study. In Proceedings - International Conference on Software Engineering (pp. 490-495)