Searching for "A summary of the ICSE 2004 workshop on "scenarios and state machines models, algorithms, and tools"." – sorted by Relevance.
-
Scenarios, goals, and state machines: a winwin partnership for model synthesis
- Scenarios, Goals, and State Machines: a Win-Win Partnership for Model Synthesis Christophe Damas
- Cited by 3 (2 self) – Add To MetaCart
-
On the need for ”state machine implementation” design patterns. Scenarios and state machines
- @(email omitted); The transition between scenario models and hierarchical state machines constitutes the focus of our work [3
- Cited by 2 (0 self) – Add To MetaCart
-
Model Checking of Hierarchical State Machines
- hierarchical machine is to flatten it (thus, incurring an exponential blow up) and apply a model checking tool
- Cited by 54 (8 self) – Add To MetaCart
-
A Dynamic Network Scenario Emulation Tool
- A Dynamic Network Scenario Emulation Tool Daniel Herrscher, Kurt Rothermel University of Stuttgart
- Cited by 10 (2 self) – Add To MetaCart
-
A Dynamic Network Scenario Emulation Tool
- A Dynamic Network Scenario Emulation Tool Daniel Herrscher, Kurt Rothermel University of Stuttgart
- Cited by 1 (0 self) – Add To MetaCart
-
Scenario advisor tool for requirements engineering
- modelling and expanding the scenario set. To operate the tool as illustrated in figure 2, we select a
- Cited by 2 (1 self) – Add To MetaCart
-
Testing Scenario-Based Models
- level scenario-based model of the system and directly execute system behavior. The supporting tool
- Cited by 1 (0 self) – Add To MetaCart
-
From Scenarios to Hierarchical State Machines: A Pattern based Approach
- From Scenarios to Hierarchical State Machines: A Pattern-Based Approach 1 F. Bordeleau, J
- Cited by 3 (1 self) – Add To MetaCart
-
A Scenario-Based Approach to Hierarchical State Machine Design
- with new scenarios into the existing hierarchical finite state machine of a component. One
- Cited by 9 (4 self) – Add To MetaCart
-
The Current State of Machine Translation
- The Current State of Machine Translation Harold L. Somers Department of Language Engineering UMIST
- Cited by 1 (0 self) – Add To MetaCart

