skip to content
Scenarios: Models, Transformations and Tools : international workshop, Dagstuhl Castle, Germany, September 7-12, 2003 : revised selected papers Preview this item
ClosePreview this item
Checking...

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

Author: Stefan Leue; Tarja Johanna Systä
Publisher: Berlin ; New York : Springer, ©2005.
Series: Lecture notes in computer science, 3466.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Summary:

Scenarios are used in telecommunications as Message Sequence Charts, in object-oriented system design as Sequence Diagrams, in reverse engineering as execution traces, and in requirements engineering  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Kongress
Congresses
Congrès
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Stefan Leue; Tarja Johanna Systä
ISBN: 3540261893 9783540261896 9783540320326 3540320326
OCLC Number: 60744566
Description: xii, 277 pages : illustrations ; 24 cm.
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.
Series Title: Lecture notes in computer science, 3466.
Responsibility: Stefan Leue, Tarja Johanna Systä (eds.).
More information:

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/60744566> # Scenarios: Models, Transformations and Tools : international workshop, Dagstuhl Castle, Germany, September 7-12, 2003 : revised selected papers
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "60744566" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1102962754#Place/berlin> ; # Berlin
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:about <http://experiment.worldcat.org/entity/work/data/1102962754#Topic/sdl> ; # SDL
   schema:about <http://id.worldcat.org/fast/1078716> ; # Programming languages (Electronic computers)--Semantics
   schema:about <http://id.worldcat.org/fast/872279> ; # Computer network protocols
   schema:about <http://experiment.worldcat.org/entity/work/data/1102962754#Topic/message_sequence_chart> ; # Message sequence chart
   schema:about <http://experiment.worldcat.org/entity/work/data/1102962754#Place/dagstuhl_2003> ; # Dagstuhl (2003)
   schema:about <http://experiment.worldcat.org/entity/work/data/1102962754#Topic/genie_logiciel> ; # Génie logiciel
   schema:about <http://experiment.worldcat.org/entity/work/data/1102962754#Topic/formale_methode> ; # Formale Methode
   schema:about <http://experiment.worldcat.org/entity/work/data/1102962754#Topic/uml> ; # UML
   schema:about <http://experiment.worldcat.org/entity/work/data/1102962754#Topic/langage_de_programmation> ; # Langage de programmation
   schema:about <http://experiment.worldcat.org/entity/work/data/1102962754#Topic/software_engineering_graphic_methods> ; # Software engineering--Graphic methods
   schema:about <http://experiment.worldcat.org/entity/work/data/1102962754#Topic/langages_de_programmation_semantique> ; # Langages de programmation--Sémantique
   schema:about <http://experiment.worldcat.org/entity/work/data/1102962754#Topic/anwendungssystem> ; # Anwendungssystem
   schema:about <http://experiment.worldcat.org/entity/work/data/1102962754#Topic/sequenzdiagramm> ; # Sequenzdiagramm
   schema:about <http://dewey.info/class/005.1/e22/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/1102962754#Topic/requirements_engineering> ; # Requirements engineering
   schema:about <http://experiment.worldcat.org/entity/work/data/1102962754#Topic/methode_graphique> ; # Méthode graphique
   schema:about <http://experiment.worldcat.org/entity/work/data/1102962754#Topic/protocole_de_reseau_d_ordinateurs> ; # Protocole de réseau d'ordinateurs
   schema:about <http://experiment.worldcat.org/entity/work/data/1102962754#Topic/genie_logiciel_methodes_graphiques> ; # Génie logiciel--Méthodes graphiques
   schema:about <http://experiment.worldcat.org/entity/work/data/1102962754#Topic/protocoles_de_reseaux_d_ordinateurs> ; # Protocoles de réseaux d'ordinateurs
   schema:about <http://experiment.worldcat.org/entity/work/data/1102962754#Topic/softwareentwicklung> ; # Softwareentwicklung
   schema:about <http://experiment.worldcat.org/entity/work/data/1102962754#Topic/programming_languages_electronic_computers_semantics> ; # Programming languages (Electronic computers)--Semantics
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/47859772> ; # Stefan Leue
   schema:contributor <http://viaf.org/viaf/58598029> ; # Tarja Johanna Systä
   schema:copyrightYear "2005" ;
   schema:datePublished "2005" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/1102962754> ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Conference publication"@en ;
   schema:genre "Kongress"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
   schema:name "Scenarios: Models, Transformations and Tools : international workshop, Dagstuhl Castle, Germany, September 7-12, 2003 : revised selected papers"@en ;
   schema:productID "60744566" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/60744566#PublicationEvent/berlin_new_york_springer_2005> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/1102962754#Agent/springer> ; # Springer
   schema:url <http://dx.doi.org/10.1007/b137052> ;
   schema:url <http://catdir.loc.gov/catdir/enhancements/fy1401/2005928335-t.html> ;
   schema:url <http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=3466> ;
   schema:url <http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=3466> ;
   schema:url <http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=3466&issue=preprint> ;
   schema:url <http://swbplus.bsz-bw.de/bsz118165038cov.htm> ;
   schema:url <http://0-www.springerlink.com.alpha2.latrobe.edu.au/openurl.asp?genre=issue&issn=0302-9743&volume=3466> ;
   schema:workExample <http://worldcat.org/isbn/9783540320326> ;
   schema:workExample <http://worldcat.org/isbn/9783540261896> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GBA561810> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/60744566> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/1102962754#Topic/genie_logiciel_methodes_graphiques> # Génie logiciel--Méthodes graphiques
    a schema:Intangible ;
   schema:name "Génie logiciel--Méthodes graphiques"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/1102962754#Topic/langage_de_programmation> # Langage de programmation
    a schema:Intangible ;
   schema:name "Langage de programmation"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1102962754#Topic/langages_de_programmation_semantique> # Langages de programmation--Sémantique
    a schema:Intangible ;
   schema:name "Langages de programmation--Sémantique"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/1102962754#Topic/message_sequence_chart> # Message sequence chart
    a schema:Intangible ;
   schema:name "Message sequence chart"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1102962754#Topic/programming_languages_electronic_computers_semantics> # Programming languages (Electronic computers)--Semantics
    a schema:Intangible ;
   rdfs:seeAlso <http://id.loc.gov/authorities/subjects/sh2010108609> ;
   schema:name "Programming languages (Electronic computers)--Semantics"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1102962754#Topic/protocole_de_reseau_d_ordinateurs> # Protocole de réseau d'ordinateurs
    a schema:Intangible ;
   schema:name "Protocole de réseau d'ordinateurs"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1102962754#Topic/protocoles_de_reseaux_d_ordinateurs> # Protocoles de réseaux d'ordinateurs
    a schema:Intangible ;
   schema:name "Protocoles de réseaux d'ordinateurs"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/1102962754#Topic/requirements_engineering> # Requirements engineering
    a schema:Intangible ;
   schema:name "Requirements engineering"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1102962754#Topic/softwareentwicklung> # Softwareentwicklung
    a schema:Intangible ;
   schema:name "Softwareentwicklung"@en ;
    .

<http://id.worldcat.org/fast/1078716> # Programming languages (Electronic computers)--Semantics
    a schema:Intangible ;
   schema:hasPart <http://id.loc.gov/authorities/subjects/sh85107316> ;
   schema:name "Programming languages (Electronic computers)--Semantics"@en ;
    .

<http://id.worldcat.org/fast/872279> # Computer network protocols
    a schema:Intangible ;
   schema:name "Computer network protocols"@en ;
    .

<http://viaf.org/viaf/47859772> # Stefan Leue
    a schema:Person ;
   schema:familyName "Leue" ;
   schema:givenName "Stefan" ;
   schema:name "Stefan Leue" ;
    .

<http://viaf.org/viaf/58598029> # Tarja Johanna Systä
    a schema:Person ;
   schema:familyName "Systä" ;
   schema:givenName "Tarja Johanna" ;
   schema:name "Tarja Johanna Systä" ;
    .

<http://worldcat.org/isbn/9783540261896>
    a schema:ProductModel ;
   schema:isbn "3540261893" ;
   schema:isbn "9783540261896" ;
    .

<http://worldcat.org/isbn/9783540320326>
    a schema:ProductModel ;
   schema:isbn "3540320326" ;
   schema:isbn "9783540320326" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/60744566> ; # Scenarios: Models, Transformations and Tools : international workshop, Dagstuhl Castle, Germany, September 7-12, 2003 : revised selected papers
   schema:issn "0302-9743" ;
   schema:name "Lecture notes in computer science ;" ;
   schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/title/-/oclc/60744566>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/60744566> ; # Scenarios: Models, Transformations and Tools : international workshop, Dagstuhl Castle, Germany, September 7-12, 2003 : revised selected papers
   schema:dateModified "2017-12-23" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.