Inference of Message Sequence Charts (2003)

Cached

Download Links

by Rajeev Alur , Kousha Etessami , Mihalis Yannakakis
Venue:Software Concepts and Tools
Citations:181 - 11 self

Documents Related by Co-Citation

124 Model checking of message sequence charts – Rajeev Alur, Mihalis Yannakakis - 1999
349 LSCs: Breathing Life into Message Sequence Charts – Werner Damm, David Harel - 2001
52 Deciding Properties for Message Sequence Charts – Anca Muscholl, Doron Peled, Zhendong Su - 1998
64 Syntactic detection of process divergence and non-local choice in message sequence charts – Hanene Ben-Abdallah, Stefan Leue - 1997
1994 The Unified Modelling Language User Guide – G Booch, J Rumbaugh, I Jacobson - 1999
91 From MSCs to statecharts – Ingolf Krüger, Radu Grosu, Peter Scholz, Manfred Broy - 1998
70 From play-in scenarios to code: An achievable dream – D Harel
48 Interpreting Message Flow Graphs – Peter B. Ladkin, Stefan Leue - 1995
21 Design Tools for Requirements Engineering – Gerard J. Holzmann, Doron A. Peled, Margaret H. Redberg - 1997
153 Generating Statechart Designs From Scenarios – Jon Whittle, Johann Schumann - 2000
47 An automata based interpretation of live sequence charts – J Klose, H Wittke - 2001
69 Realizability and Verification of MSC-Graphs – Rajeev Alur, Kousha Etessami, Mihalis Yannakakis - 2002
24 On message sequence graphs and finitely generated regular MSC languages – Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar - 2000
910 Object-Oriented Software Engineering: A Use Case Driven Approach – I Jacobson, M Christerson, P Jonsson, G Övergaard - 1992
2120 Statecharts: A Visual Formalism For Complex Systems – David Harel - 1987
83 Synthesizing State-Based Object Systems from LSC Specifications – David Harel, Hillel Kugler - 2000
28 Automated support for modeling oo software – K Koskimies, T Systä, J Tuomi, T Männistö - 1998
12 Specification and verification of message sequence charts – D Peled - 2000
41 Message Sequence Graphs and Decision Problems on Mazurkiewicz Traces – Anca Muscholl, Doron Peled - 1999