Scenarios: Models, Transformations and Tools International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers /
Visual notations and languages continue to play a pivotal role ˆ in the design of complex software systems. In many cases visual notations are used to - scribe usage or interaction scenarios of software systems or their components. While representing scenarios using a visual notation is not the only...
Συγγραφή απο Οργανισμό/Αρχή: | |
---|---|
Άλλοι συγγραφείς: | , |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2005.
|
Σειρά: | Lecture Notes in Computer Science,
3466 |
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- 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.