Search dblp for Publications

export results for "toc:db/conf/dagstuhl/scenarios2003.bht:"

 download as .bib file

@proceedings{DBLP:conf/dagstuhl/2003scenarios,
  editor       = {Stefan Leue and
                  Tarja Syst{\"{a}}},
  title        = {Scenarios: Models, Transformations and Tools, International Workshop,
                  Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3466},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/b137052},
  doi          = {10.1007/B137052},
  isbn         = {3-540-26189-3},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/2003scenarios.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/BeyerD03,
  author       = {Matthias Beyer and
                  Winfried Dulz},
  editor       = {Stefan Leue and
                  Tarja Syst{\"{a}}},
  title        = {Scenario-Based Statistical Testing of Quality of Service Requirements},
  booktitle    = {Scenarios: Models, Transformations and Tools, International Workshop,
                  Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3466},
  pages        = {152--173},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/11495628\_9},
  doi          = {10.1007/11495628\_9},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/BeyerD03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/BontempsHS03,
  author       = {Yves Bontemps and
                  Patrick Heymans and
                  Pierre{-}Yves Schobbens},
  editor       = {Stefan Leue and
                  Tarja Syst{\"{a}}},
  title        = {Lightweight Formal Methods for Scenario-Based Software Engineering},
  booktitle    = {Scenarios: Models, Transformations and Tools, International Workshop,
                  Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3466},
  pages        = {174--192},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/11495628\_10},
  doi          = {10.1007/11495628\_10},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/BontempsHS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/CremersM03,
  author       = {Cas Cremers and
                  Sjouke Mauw},
  editor       = {Stefan Leue and
                  Tarja Syst{\"{a}}},
  title        = {Operational Semantics of Security Protocols},
  booktitle    = {Scenarios: Models, Transformations and Tools, International Workshop,
                  Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3466},
  pages        = {66--89},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/11495628\_4},
  doi          = {10.1007/11495628\_4},
  timestamp    = {Thu, 23 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/CremersM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/DiethelmGZ03,
  author       = {Ira Diethelm and
                  Leif Geiger and
                  Albert Z{\"{u}}ndorf},
  editor       = {Stefan Leue and
                  Tarja Syst{\"{a}}},
  title        = {Applying Story Driven Modeling to the Paderborn Shuttle System Case
                  Study},
  booktitle    = {Scenarios: Models, Transformations and Tools, International Workshop,
                  Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3466},
  pages        = {109--133},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/11495628\_7},
  doi          = {10.1007/11495628\_7},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/DiethelmGZ03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/Dromey03,
  author       = {R. Geoff Dromey},
  editor       = {Stefan Leue and
                  Tarja Syst{\"{a}}},
  title        = {Genetic Design: Amplifying Our Ability to Deal With Requirements Complexity},
  booktitle    = {Scenarios: Models, Transformations and Tools, International Workshop,
                  Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3466},
  pages        = {95--108},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/11495628\_6},
  doi          = {10.1007/11495628\_6},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/Dromey03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/GieseK03,
  author       = {Holger Giese and
                  Florian Klein},
  editor       = {Stefan Leue and
                  Tarja Syst{\"{a}}},
  title        = {Autonomous Shuttle System Case Study},
  booktitle    = {Scenarios: Models, Transformations and Tools, International Workshop,
                  Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3466},
  pages        = {90--94},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/11495628\_5},
  doi          = {10.1007/11495628\_5},
  timestamp    = {Tue, 12 Mar 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/GieseK03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/GieseKB03,
  author       = {Holger Giese and
                  Florian Klein and
                  Sven Burmester},
  editor       = {Stefan Leue and
                  Tarja Syst{\"{a}}},
  title        = {Pattern Synthesis from Multiple Scenarios for Parameterized Real-Time
                  {UML} Models},
  booktitle    = {Scenarios: Models, Transformations and Tools, International Workshop,
                  Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3466},
  pages        = {193--211},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/11495628\_11},
  doi          = {10.1007/11495628\_11},
  timestamp    = {Tue, 12 Mar 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/GieseKB03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/HarelKW03,
  author       = {David Harel and
                  Hillel Kugler and
                  Gera Weiss},
  editor       = {Stefan Leue and
                  Tarja Syst{\"{a}}},
  title        = {Some Methodological Observations Resulting from Experience Using LSCs
                  and the Play-In/Play-Out Approach},
  booktitle    = {Scenarios: Models, Transformations and Tools, International Workshop,
                  Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3466},
  pages        = {26--42},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/11495628\_2},
  doi          = {10.1007/11495628\_2},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/HarelKW03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/HaugenHRS03,
  author       = {{\O}ystein Haugen and
                  Knut Eilif Husa and
                  Ragnhild Kobro Runde and
                  Ketil St{\o}len},
  editor       = {Stefan Leue and
                  Tarja Syst{\"{a}}},
  title        = {Why Timed Sequence Diagrams Require Three-Event Semantics},
  booktitle    = {Scenarios: Models, Transformations and Tools, International Workshop,
                  Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3466},
  pages        = {1--25},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/11495628\_1},
  doi          = {10.1007/11495628\_1},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/HaugenHRS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/KhendekZ03,
  author       = {Ferhat Khendek and
                  Xiao{-}Jun Zhang},
  editor       = {Stefan Leue and
                  Tarja Syst{\"{a}}},
  title        = {From {MSC} to {SDL:} Overview and an Application to the Autonomous
                  Shuttle Transport System},
  booktitle    = {Scenarios: Models, Transformations and Tools, International Workshop,
                  Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3466},
  pages        = {228--254},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/11495628\_13},
  doi          = {10.1007/11495628\_13},
  timestamp    = {Wed, 18 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/KhendekZ03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/Kosiuczenko03,
  author       = {Piotr Kosiuczenko},
  editor       = {Stefan Leue and
                  Tarja Syst{\"{a}}},
  title        = {Partial Order Semantics of Sequence Diagrams for Mobility},
  booktitle    = {Scenarios: Models, Transformations and Tools, International Workshop,
                  Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3466},
  pages        = {212--227},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/11495628\_12},
  doi          = {10.1007/11495628\_12},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/Kosiuczenko03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/KrugerM03,
  author       = {Ingolf H. Kr{\"{u}}ger and
                  Reena Mathew},
  editor       = {Stefan Leue and
                  Tarja Syst{\"{a}}},
  title        = {Component Synthesis from Service Specifications},
  booktitle    = {Scenarios: Models, Transformations and Tools, International Workshop,
                  Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3466},
  pages        = {255--277},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/11495628\_14},
  doi          = {10.1007/11495628\_14},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/KrugerM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/MuschollP03,
  author       = {Anca Muscholl and
                  Doron A. Peled},
  editor       = {Stefan Leue and
                  Tarja Syst{\"{a}}},
  title        = {Deciding Properties of Message Sequence Charts},
  booktitle    = {Scenarios: Models, Transformations and Tools, International Workshop,
                  Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3466},
  pages        = {43--65},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/11495628\_3},
  doi          = {10.1007/11495628\_3},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/MuschollP03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/PetriuAWJ03,
  author       = {Dorin Bogdan Petriu and
                  Daniel Amyot and
                  C. Murray Woodside and
                  Bo Jiang},
  editor       = {Stefan Leue and
                  Tarja Syst{\"{a}}},
  title        = {Traceability and Evaluation in Scenario Analysis by Use Case Maps},
  booktitle    = {Scenarios: Models, Transformations and Tools, International Workshop,
                  Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3466},
  pages        = {134--151},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/11495628\_8},
  doi          = {10.1007/11495628\_8},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/PetriuAWJ03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.