The SCEAS System
Navigation Menu

Conferences in DBLP

Publications Resulting from Dagstuhl Seminars (dagstuhl)
2003 (conf/dagstuhl/2003scenarios)

  1. Øystein Haugen, Knut Eilif Husa, Ragnhild Kobro Runde, Ketil Stølen
    Why Timed Sequence Diagrams Require Three-Event Semantics. [Citation Graph (0, 0)][DBLP]
    Scenarios: Models, Transformations and Tools, 2003, pp:1-25 [Conf]
  2. David Harel, Hillel Kugler, Gera Weiss
    Some Methodological Observations Resulting from Experience Using LSCs and the Play-In/Play-Out Approach. [Citation Graph (0, 0)][DBLP]
    Scenarios: Models, Transformations and Tools, 2003, pp:26-42 [Conf]
  3. Anca Muscholl, Doron Peled
    Deciding Properties of Message Sequence Charts. [Citation Graph (0, 0)][DBLP]
    Scenarios: Models, Transformations and Tools, 2003, pp:43-65 [Conf]
  4. Cas J. F. Cremers, Sjouke Mauw
    Operational Semantics of Security Protocols. [Citation Graph (0, 0)][DBLP]
    Scenarios: Models, Transformations and Tools, 2003, pp:66-89 [Conf]
  5. Holger Giese, Florian Klein
    Autonomous Shuttle System Case Study. [Citation Graph (0, 0)][DBLP]
    Scenarios: Models, Transformations and Tools, 2003, pp:90-94 [Conf]
  6. R. Geoff Dromey
    Genetic Design: Amplifying Our Ability to Deal With Requirements Complexity. [Citation Graph (0, 0)][DBLP]
    Scenarios: Models, Transformations and Tools, 2003, pp:95-108 [Conf]
  7. Ira Diethelm, Leif Geiger, Albert Zündorf
    Applying Story Driven Modeling to the Paderborn Shuttle System Case Study. [Citation Graph (0, 0)][DBLP]
    Scenarios: Models, Transformations and Tools, 2003, pp:109-133 [Conf]
  8. Dorin Bogdan Petriu, Daniel Amyot, C. Murray Woodside, Bo Jiang
    Traceability and Evaluation in Scenario Analysis by Use Case Maps. [Citation Graph (0, 0)][DBLP]
    Scenarios: Models, Transformations and Tools, 2003, pp:134-151 [Conf]
  9. Matthias Beyer, Winfried Dulz
    Scenario-Based Statistical Testing of Quality of Service Requirements. [Citation Graph (0, 0)][DBLP]
    Scenarios: Models, Transformations and Tools, 2003, pp:152-173 [Conf]
  10. Yves Bontemps, Patrick Heymans, Pierre-Yves Schobbens
    Lightweight Formal Methods for Scenario-Based Software Engineering. [Citation Graph (0, 0)][DBLP]
    Scenarios: Models, Transformations and Tools, 2003, pp:174-192 [Conf]
  11. Holger Giese, Florian Klein, Sven Burmester
    Pattern Synthesis from Multiple Scenarios for Parameterized Real-Time UML Models. [Citation Graph (0, 0)][DBLP]
    Scenarios: Models, Transformations and Tools, 2003, pp:193-211 [Conf]
  12. Piotr Kosiuczenko
    Partial Order Semantics of Sequence Diagrams for Mobility. [Citation Graph (0, 0)][DBLP]
    Scenarios: Models, Transformations and Tools, 2003, pp:212-227 [Conf]
  13. Ferhat Khendek, Xiao Jun Zhang
    From MSC to SDL: Overview and an Application to the Autonomous Shuttle Transport System. [Citation Graph (0, 0)][DBLP]
    Scenarios: Models, Transformations and Tools, 2003, pp:228-254 [Conf]
  14. Ingolf H. Krüger, Reena Mathew
    Component Synthesis from Service Specifications. [Citation Graph (0, 0)][DBLP]
    Scenarios: Models, Transformations and Tools, 2003, pp:255-277 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002