Scenarios: Models, Transformations and Tools

Keyphrases

Publications

volume 3466, 2005

Scenarios: Models, Transformations and Tools, International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers Scenarios: Models, Transformations and Tools 3466 (2005)

2003

Øystein Haugen, Knut Eilif Husa, Ragnhild Kobro Runde, Ketil Stølen
Why Timed Sequence Diagrams Require Three-Event Semantics. Scenarios: Models, Transformations and Tools (2003)
Ferhat Khendek, Xiao-Jun Zhang
From MSC to SDL: Overview and an Application to the Autonomous Shuttle Transport System. Scenarios: Models, Transformations and Tools (2003)
Holger Giese, Florian Klein
Autonomous Shuttle System Case Study. Scenarios: Models, Transformations and Tools (2003)
R. Geoff Dromey
Genetic Design: Amplifying Our Ability to Deal With Requirements Complexity. Scenarios: Models, Transformations and Tools (2003)
Piotr Kosiuczenko
Partial Order Semantics of Sequence Diagrams for Mobility. Scenarios: Models, Transformations and Tools (2003)
David Harel, Hillel Kugler, Gera Weiss
Some Methodological Observations Resulting from Experience Using LSCs and the Play-In/Play-Out Approach. Scenarios: Models, Transformations and Tools (2003)
Anca Muscholl, Doron A. Peled
Deciding Properties of Message Sequence Charts. Scenarios: Models, Transformations and Tools (2003)
Ira Diethelm, Leif Geiger, Albert Zündorf
Applying Story Driven Modeling to the Paderborn Shuttle System Case Study. Scenarios: Models, Transformations and Tools (2003)
Dorin Bogdan Petriu, Daniel Amyot, C. Murray Woodside, Bo Jiang
Traceability and Evaluation in Scenario Analysis by Use Case Maps. Scenarios: Models, Transformations and Tools (2003)
Cas Cremers, Sjouke Mauw
Operational Semantics of Security Protocols. Scenarios: Models, Transformations and Tools (2003)
Yves Bontemps, Patrick Heymans, Pierre-Yves Schobbens
Lightweight Formal Methods for Scenario-Based Software Engineering. Scenarios: Models, Transformations and Tools (2003)
Matthias Beyer, Winfried Dulz
Scenario-Based Statistical Testing of Quality of Service Requirements. Scenarios: Models, Transformations and Tools (2003)
Holger Giese, Florian Klein, Sven Burmester
Pattern Synthesis from Multiple Scenarios for Parameterized Real-Time UML Models. Scenarios: Models, Transformations and Tools (2003)
Ingolf H. Krüger, Reena Mathew
Component Synthesis from Service Specifications. Scenarios: Models, Transformations and Tools (2003)