MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "A summary of the ICSE 2004 workshop on "scenarios and state machines models, algorithms, and tools"." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

725,157 documents found, showing 1 through 10. Next 10 →

ATOM

Scenarios, goals, and state machines: a winwin partnership for model synthesis
by Christophe Damas, Bernard Lambeau, Axel Van Lamsweerde — 2006 — International ACM Symposium on the Foundations of Software Engineering
…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
by Francis Bordeleau — 2002 — and tools, ICSE2002 Workshop
…@(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
by Rajeev Alur, Mihalis Yannakakis — 1998 — In Symposium on the Foundations of Software Engineering
… 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
by Daniel Herrscher, Kurt Rothermel — 2002 — in Proceedings of ICCCN 2002
…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
by Daniel Herrscher Kurt, Kurt Rothermel — 2002 — in Proceedings of ICCCN 2002
…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
by Jae Eun Shin, Alistair G. Sutcliffe, Andreas Gregoriades — 2004 — 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
by Hillel Kugler, Michael J. Stern, E. Jane, Albert Hubbard — 2007 — In Proc. Fundamental Approaches to Software Engineering (FASE’07), volume 4422 of LNCS
… 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
by F. Bordeleau, J. -p. Corriveau — 2000 — Proceedings of OOPSLA 2000 Workshop: Scenario based round-trip engineering
…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
by Francis Bordeleau — 2000 — Proceedings of the Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
… 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
by Harold L. Somers — 1993 — In Proceedings of MT-Summit IV
…The Current State of Machine Translation Harold L. Somers Department of Language Engineering UMIST…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB