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

16 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 2003 - Portland, United States of America
Duration: 3 May 200310 May 2003
Conference number: 25th
https://ieeexplore.ieee.org/xpl/conhome/8548/proceeding (Proceedings)

Conference

ConferenceInternational Conference on Software Engineering 2003
Abbreviated titleICSE 2003
Country/TerritoryUnited States of America
CityPortland
Period3/05/0310/05/03
Internet address

Cite this