Borrow it
Coverart for item
The Resource Scenarios: Models, Transformations and Tools : international workshop, Dagstuhl Castle, Germany, September 7-12, 2003 : revised selected papers, Stefan Leue, Tarja Johanna Systä (eds.)

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

Contributor
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
Language
eng
Work
Publication
Extent
1 online resource (xii, 277 pages)
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
Isbn
9783540320326
Instance
Label
Scenarios: Models, Transformations and Tools : international workshop, Dagstuhl Castle, Germany, September 7-12, 2003 : revised selected papers
Title
Scenarios: Models, Transformations and Tools
Title remainder
international workshop, Dagstuhl Castle, Germany, September 7-12, 2003 : revised selected papers
Statement of responsibility
Stefan Leue, Tarja Johanna Systä (eds.)
Contributor
Subject
Genre
Language
eng
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
Member of
Cataloging source
GW5XE
Dewey number
005.1
Illustrations
illustrations
Index
index present
LC call number
QA76.758
LC item number
.S28 2005eb
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • Leue, Stefan
  • Systä, Tarja Johanna
Series statement
Lecture notes in computer science,
Series volume
3466
http://library.link/vocab/subjectName
  • Software engineering
  • Computer network protocols
  • Programming languages (Electronic computers)
  • COMPUTERS
  • Software engineering
  • Computer network protocols
  • Programming languages (Electronic computers)
  • Informatique
  • Computer network protocols
  • Programming languages (Electronic computers)
  • Génie logiciel
  • Langage de programmation
  • Méthode graphique
  • Protocole de réseau d'ordinateurs
Label
Scenarios: Models, Transformations and Tools : international workshop, Dagstuhl Castle, Germany, September 7-12, 2003 : revised selected papers, Stefan Leue, Tarja Johanna Systä (eds.)
Instantiates
Publication
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
262681338
Dimensions
unknown
Extent
1 online resource (xii, 277 pages)
Form of item
online
Isbn
9783540320326
Lccn
2005928335
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/b137052
Other physical details
illustrations.
http://library.link/vocab/ext/overdrive/overdriveId
978-3-540-26189-6
Specific material designation
remote
System control number
(OCoLC)262681338
Label
Scenarios: Models, Transformations and Tools : international workshop, Dagstuhl Castle, Germany, September 7-12, 2003 : revised selected papers, Stefan Leue, Tarja Johanna Systä (eds.)
Publication
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
262681338
Dimensions
unknown
Extent
1 online resource (xii, 277 pages)
Form of item
online
Isbn
9783540320326
Lccn
2005928335
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/b137052
Other physical details
illustrations.
http://library.link/vocab/ext/overdrive/overdriveId
978-3-540-26189-6
Specific material designation
remote
System control number
(OCoLC)262681338

Subject

Genre

Member of

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125

Library Links

Structured data from the Bibframe namespace is licensed under the Creative Commons Attribution 4.0 International License by University of Missouri Libraries. Additional terms may apply to data associated with third party namespaces.
Processing Feedback ...