Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDOutcome of a Dagstuhl Seminar: Scenarios: Models, Transformations and Tools 2003
- Stefan Leue, Tarja Systä:
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
- Øystein Haugen, Knut Eilif Husa, Ragnhild Kobro Runde, Ketil Stølen:
Why Timed Sequence Diagrams Require Three-Event Semantics. 1-25 - David Harel, Hillel Kugler, Gera Weiss:
Some Methodological Observations Resulting from Experience Using LSCs and the Play-In/Play-Out Approach. 26-42 - Anca Muscholl, Doron A. Peled:
Deciding Properties of Message Sequence Charts. 43-65 - Cas Cremers, Sjouke Mauw
:
Operational Semantics of Security Protocols. 66-89 - Holger Giese, Florian Klein:
Autonomous Shuttle System Case Study. 90-94 - R. Geoff Dromey:
Genetic Design: Amplifying Our Ability to Deal With Requirements Complexity. 95-108 - Ira Diethelm, Leif Geiger, Albert Zündorf:
Applying Story Driven Modeling to the Paderborn Shuttle System Case Study. 109-133 - Dorin Bogdan Petriu, Daniel Amyot, C. Murray Woodside, Bo Jiang:
Traceability and Evaluation in Scenario Analysis by Use Case Maps. 134-151 - Matthias Beyer, Winfried Dulz:
Scenario-Based Statistical Testing of Quality of Service Requirements. 152-173 - Yves Bontemps, Patrick Heymans, Pierre-Yves Schobbens:
Lightweight Formal Methods for Scenario-Based Software Engineering. 174-192 - Holger Giese, Florian Klein, Sven Burmester:
Pattern Synthesis from Multiple Scenarios for Parameterized Real-Time UML Models. 193-211 - Piotr Kosiuczenko:
Partial Order Semantics of Sequence Diagrams for Mobility. 212-227 - Ferhat Khendek, Xiao-Jun Zhang:
From MSC to SDL: Overview and an Application to the Autonomous Shuttle Transport System. 228-254 - Ingolf H. Krüger, Reena Mathew:
Component Synthesis from Service Specifications. 255-277
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-03-20 21:01 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
