Statecharts: A visual formalism for complex systems
Science of Computer Programming
The object constraint language: precise modeling with UML
The object constraint language: precise modeling with UML
Inferring Declarative Requirements Specifications from Operational Scenarios
IEEE Transactions on Software Engineering
Generating statechart designs from scenarios
Proceedings of the 22nd international conference on Software engineering
A workbench for synthesising behaviour models from scenarios
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Detecting implied scenarios in message sequence chart specifications
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Scenarios in System Development: Current Practice
IEEE Software
Resolving Race Conditions in Asynchronous Partial Order Scenarios
IEEE Transactions on Software Engineering
Design Synthesis from Interaction and State-Based Specifications
IEEE Transactions on Software Engineering
Research Directions in Requirements Engineering
FOSE '07 2007 Future of Software Engineering
Controller Synthesis from LSC Requirements
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Achieving dependability in sensor networks through automated requirements-based programming
Computer Communications
Applying story driven modeling to the paderborn shuttle system case study
SMTT'03 Proceedings of the 2003 international conference on Scenarios: models, Transformations and Tools
Counter play-out: executing unrealizable scenario-based specifications
Proceedings of the 2013 International Conference on Software Engineering
| Hi-index | 0.00 |
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.