|
114
|
Model checking of message sequence charts
– Rajeev Alur, Mihalis Yannakakis
- 1999
|
|
318
|
LSCs: Breathing Life into Message Sequence Charts
– Werner Damm, David Harel
- 2001
|
|
50
|
Deciding Properties for Message Sequence Charts
– Anca Muscholl, Doron Peled, Zhendong Su
- 1998
|
|
61
|
Syntactic detection of process divergence and non-local choice in message sequence charts
– Hanene Ben-Abdallah, Stefan Leue
- 1997
|
|
1824
|
The Unified Model-ing Language”, User Guide
– G Booch, J Rumbaugh, I Jacobson
- 1999
|
|
86
|
From MSCs to statecharts
– Ingolf Krüger, Radu Grosu, Peter Scholz, Manfred Broy
- 1998
|
|
67
|
From Play-In Scenarios to Code: An Achievable Dream
– D Harel
- 2000
|
|
43
|
Interpreting Message Flow Graphs
– Peter B. Ladkin, Stefan Leue
- 1995
|
|
20
|
Design Tools for Requirements Engineering
– Gerard J. Holzmann, Doron A. Peled, Margaret H. Redberg
- 1997
|
|
139
|
Generating Statechart Designs From Scenarios
– Jon Whittle, Johann Schumann
- 2000
|
|
45
|
An automata based interpretation of live sequence charts, in: T
– J Klose, H Wittke
- 2001
|
|
56
|
Realizability and Verification of MSC-Graphs
– Rajeev Alur, Kousha Etessami, Mihalis Yannakakis
- 2002
|
|
23
|
On message sequence graphs and finitely generated regular MSC languages
– Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar
- 2000
|
|
855
|
Object-Oriented Software Engineering - a Use Case Driven Approach
– Ivar Jacobson
- 1992
|
|
1962
|
Statecharts: A Visual Formalism For Complex Systems
– David Harel
- 1987
|
|
80
|
Synthesizing State-Based Object Systems from LSC Specifications
– David Harel, Hillel Kugler
- 2000
|
|
26
|
Automated support for modeling oo software
– K Koskimies, T Männistö, T Systä, J Tuomi
- 1998
|
|
10
|
Specification and verification of message sequence charts
– D Peled
- 2000
|
|
37
|
Message Sequence Graphs and Decision Problems on Mazurkiewicz Traces
– Anca Muscholl, Doron Peled
- 1999
|
