| Description |
1 online resource (xii, 277 pages) : illustrations |
| Series |
Lecture notes in computer science, 0302-9743 ; 3466 |
|
Lecture notes in computer science ; 3466. 0302-9743
|
| Contents |
Scenarios: Models, Transformations and Tools -- Why Timed Sequence Diagrams Require Three-Event Semantics -- Some Methodological Observations Resulting from Experience Using LSCs and the Play-In/Play-Out Approach -- Deciding Properties of Message Sequence Charts -- Operational Semantics of Security Protocols -- Autonomous Shuttle System Case Study -- Genetic Design: Amplifying Our Ability to Deal With Requirements Complexity -- Applying Story Driven Modeling to the Paderborn Shuttle System Case Study -- Traceability and Evaluation in Scenario Analysis by Use Case Maps -- Scenario-Based Statistical Testing of Quality of Service Requirements -- Lightweight Formal Methods for Scenario-Based Software Engineering -- Pattern Synthesis from Multiple Scenarios for Parameterized Real-Time UML Models -- Partial Order Semantics of Sequence Diagrams for Mobility -- From MSC to SDL: Overview and an Application to the Autonomous Shuttle Transport System -- Component Synthesis from Service Specifications |
| Summary |
This volume is a post-event proceedings volume and contains selected papers based on presentations given during a seminar, held in Dagstuhl Castle, Germany in September 2003. It was organized as a continuation of a series of workshops that have been co-located with larger conferences such as the International Conference on Software Engineering (ICSE) and the Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) since 2000. The 14 included papers were thoroughly peer-reviewed in two rounds of reviewing and are organized in topical sections on semantics for scenario-based notations, scenario-based notations in software validation and verification, analysis of scenario-based specifications, abstraction, refinement, and synthesis for scenario-based notations, non-functional properties and data in scenario notations, synthesis of executable models from scenario descriptions, tool support for scenario-based notations, domain and application specific dialects of scenario notations, scenario-based modelling patterns, integration of scenarios and implied behaviour |
| Bibliography |
Includes bibliographical references and index |
| Notes |
Print version record |
| Subject |
Software engineering -- Graphic methods -- Congresses
|
|
Computer network protocols -- Congresses
|
|
Programming languages (Electronic computers) -- Semantics -- Congresses
|
|
COMPUTERS -- Software Development & Engineering -- General.
|
|
Software engineering -- Graphic methods.
|
|
Computer network protocols.
|
|
Programming languages (Electronic computers) -- Semantics.
|
|
Informatique.
|
|
Computer network protocols.
|
|
Programming languages (Electronic computers) -- Semantics.
|
|
Génie logiciel.
|
|
Langage de programmation.
|
|
Méthode graphique.
|
|
Protocole de réseau d'ordinateurs.
|
| Genre/Form |
Conference papers and proceedings.
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
| Form |
Electronic book
|
| Author |
Leue, Stefan.
|
|
Systä, Tarja Johanna.
|
| ISBN |
9783540320326 |
|
3540320326 |
|
