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 language | English |
---|---|
Title of host publication | Proceedings - International Conference on Software Engineering |
Pages | 490-495 |
Number of pages | 6 |
Publication status | Published - 1 Jan 2003 |
Event | International Conference on Software Engineering 2003 - Portland, United States of America Duration: 3 May 2003 → 10 May 2003 Conference number: 25th https://ieeexplore.ieee.org/xpl/conhome/8548/proceeding (Proceedings) |
Conference
Conference | International Conference on Software Engineering 2003 |
---|---|
Abbreviated title | ICSE 2003 |
Country/Territory | United States of America |
City | Portland |
Period | 3/05/03 → 10/05/03 |
Internet address |
|