WorldCat Linked Data Explorer

Turtle N-Triple JSON-LD RDF/XML HTML Contact Us Home

http://worldcat.org/entity/work/id/1102962754

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

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.

Open All Close All

type

about

http://schema.org/about

alternateName

contributor

creator

description

http://schema.org/description

  • "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."@en

editor

genre

http://schema.org/genre

  • "Ressources Internet"
  • "Online-Publikation"
  • "Electronic books"
  • "Electronic books"@en
  • "Conference papers and proceedings"
  • "Conference papers and proceedings"@en
  • "Kongress"
  • "Kongress"@en

name

http://schema.org/name

  • "Scenarios models, transformations and tools : International Workshop Dagstuhl Castle, Germany, September 7-12, 2003 : revised selected papers"
  • "Scenarios: Models, Transformations and Tools International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers"
  • "Scenarios : models, transformations and tools : international workshop, Dagstuhl Castle, Germany, September 7-12, 2003 : revised selected papers"
  • "Scenarios models, transformations and tools : International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003 : Revised Selected Papers"
  • "Scenarios Models, Transformations and Tools : International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers"
  • "Scenarios: models, transformations and tools : international workshop, Dagstuhl Castle, Germany, September 7-12, 2003 ; revised selected papers"
  • "Scenarios: Models, Transformations and Tools international workshop, Dagstuhl Castle, Germany, September 7-12, 2003 : revised selected papers"@en
  • "Scenarios: models, transformations and tools international workshop, Dagstuhl Castle, Germany, September 7-12, 2003 : revised selected papers"
  • "Scenarios: Models, Transformations and Tools : international workshop, Dagstuhl Castle, Germany, September 7-12, 2003 : revised selected papers"@en
  • "Scenarios: Models, Transformations and Tools : International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers"

workExample