Scenarios: Models, Transformations and Tools : international workshop, Dagstuhl Castle, Germany, September 7-12, 2003 : revised selected papers, Stefan Leue, Tarja Johanna Systä (eds.), (electronic book)

Resource Information

The instance Scenarios: Models, Transformations and Tools : international workshop, Dagstuhl Castle, Germany, September 7-12, 2003 : revised selected papers, Stefan Leue, Tarja Johanna Systä (eds.), (electronic book) represents a material embodiment of a distinct intellectual or artistic creation found in University of Liverpool. This resource is a combination of several types including: Instance, Electronic.

Image

http://covers.openlibrary.org/b/isbn/9783540320326-M.jpg?default=false

Label

Scenarios: Models, Transformations and Tools : international workshop, Dagstuhl Castle, Germany, September 7-12, 2003 : revised selected papers, Stefan Leue, Tarja Johanna Systä (eds.), (electronic book)

Title remainder

international workshop, Dagstuhl Castle, Germany, September 7-12, 2003 : revised selected papers

Medium

electronic book

Statement of responsibility

Stefan Leue, Tarja Johanna Systä (eds.)

Instantiates

• Scenarios: Models, Transformations and Tools : international workshop, Dagstuhl Castle, Germany, September 7-12, 2003 : revised selected papers

Publication

• Berlin | New York, Springer, ©2005

Bibliography note

Includes bibliographical references and index

Carrier category

online resource

Carrier category code

• cr

Carrier MARC source

rdacarrier

Color

multicolored

Content category

text

Content type code

• txt

Content type MARC source

rdacontent

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

Control code

SPR262681338

Dimensions

unknown

Extent

1 online resource (xii, 277 pages)

Form of item

online

Isbn

9783540320326

Media category

computer

Media MARC source

rdamedia

Media type code

• c

Other physical details

illustrations.

Record ID

b4020559

Specific material designation

remote