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...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Leue, Stefan (Επιμελητής έκδοσης), Systä, Tarja Johanna (Επιμελητής έκδοσης)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα: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.