Outcome of a Dagstuhl Seminar:
Scenarios:
Models,
Transformations and Tools 2003
Stefan Leue, Tarja Systä (Eds.):
Scenarios: Models, Transformations and Tools, International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers.
Lecture Notes in Computer Science 3466 Springer 2005, ISBN 3-540-26189-3 BibTeX
- Øystein Haugen, Knut Eilif Husa, Ragnhild Kobro Runde, Ketil Stølen:
Why Timed Sequence Diagrams Require Three-Event Semantics.
1-25
Electronic Edition (link) BibTeX
- David Harel, Hillel Kugler, Gera Weiss:
Some Methodological Observations Resulting from Experience Using LSCs and the Play-In/Play-Out Approach.
26-42
Electronic Edition (link) BibTeX
- Anca Muscholl, Doron Peled:
Deciding Properties of Message Sequence Charts.
43-65
Electronic Edition (link) BibTeX
- Cas J. F. Cremers, Sjouke Mauw:
Operational Semantics of Security Protocols.
66-89
Electronic Edition (link) BibTeX
- Holger Giese, Florian Klein:
Autonomous Shuttle System Case Study.
90-94
Electronic Edition (link) BibTeX
- R. Geoff Dromey:
Genetic Design: Amplifying Our Ability to Deal With Requirements Complexity.
95-108
Electronic Edition (link) BibTeX
- Ira Diethelm, Leif Geiger, Albert Zündorf:
Applying Story Driven Modeling to the Paderborn Shuttle System Case Study.
109-133
Electronic Edition (link) BibTeX
- Dorin Bogdan Petriu, Daniel Amyot, C. Murray Woodside, Bo Jiang:
Traceability and Evaluation in Scenario Analysis by Use Case Maps.
134-151
Electronic Edition (link) BibTeX
- Matthias Beyer, Winfried Dulz:
Scenario-Based Statistical Testing of Quality of Service Requirements.
152-173
Electronic Edition (link) BibTeX
- Yves Bontemps, Patrick Heymans, Pierre-Yves Schobbens:
Lightweight Formal Methods for Scenario-Based Software Engineering.
174-192
Electronic Edition (link) BibTeX
- Holger Giese, Florian Klein, Sven Burmester:
Pattern Synthesis from Multiple Scenarios for Parameterized Real-Time UML Models.
193-211
Electronic Edition (link) BibTeX
- Piotr Kosiuczenko:
Partial Order Semantics of Sequence Diagrams for Mobility.
212-227
Electronic Edition (link) BibTeX
- Ferhat Khendek, Xiao Jun Zhang:
From MSC to SDL: Overview and an Application to the Autonomous Shuttle Transport System.
228-254
Electronic Edition (link) BibTeX
- Ingolf H. Krüger, Reena Mathew:
Component Synthesis from Service Specifications.
255-277
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:04:51 2009
by Michael Ley (ley@uni-trier.de)