Abstract is missing.
- Why Timed Sequence Diagrams Require Three-Event SemanticsØystein Haugen, Knut Eilif Husa, Ragnhild Kobro Runde, Ketil Stølen. 1-25 [doi]
- Some Methodological Observations Resulting from Experience Using LSCs and the Play-In/Play-Out ApproachDavid Harel, Hillel Kugler, Gera Weiss. 26-42 [doi]
- Deciding Properties of Message Sequence ChartsAnca Muscholl, Doron Peled. 43-65 [doi]
- Operational Semantics of Security ProtocolsCas J. F. Cremers, Sjouke Mauw. 66-89 [doi]
- Autonomous Shuttle System Case StudyHolger Giese, Florian Klein. 90-94 [doi]
- Genetic Design: Amplifying Our Ability to Deal With Requirements ComplexityR. Geoff Dromey. 95-108 [doi]
- Applying Story Driven Modeling to the Paderborn Shuttle System Case StudyIra Diethelm, Leif Geiger, Albert Zündorf. 109-133 [doi]
- Traceability and Evaluation in Scenario Analysis by Use Case MapsDorin Bogdan Petriu, Daniel Amyot, C. Murray Woodside, Bo Jiang. 134-151 [doi]
- Scenario-Based Statistical Testing of Quality of Service RequirementsMatthias Beyer, Winfried Dulz. 152-173 [doi]
- Lightweight Formal Methods for Scenario-Based Software EngineeringYves Bontemps, Patrick Heymans, Pierre Yves Schobbens. 174-192 [doi]
- Pattern Synthesis from Multiple Scenarios for Parameterized Real-Time UML ModelsHolger Giese, Florian Klein, Sven Burmester. 193-211 [doi]
- Partial Order Semantics of Sequence Diagrams for MobilityPiotr Kosiuczenko. 212-227 [doi]
- From MSC to SDL: Overview and an Application to the Autonomous Shuttle Transport SystemFerhat Khendek, Xiao Jun Zhang. 228-254 [doi]
- Component Synthesis from Service SpecificationsIngolf H. Krüger, Reena Mathew. 255-277 [doi]