SDL 2011: Integrating System and Software Modeling

15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers

  • Iulian Ober
  • Ileana Ober
Conference proceedings SDL 2011

DOI: 10.1007/978-3-642-25264-8

Part of the Lecture Notes in Computer Science book series (LNCS, volume 7083)

Table of contents

  1. Front Matter
  2. Invited Contributions and Tutorials

  3. Domain Specific Languages (Part 1)

    1. Andreas Svendsen, Øystein Haugen, Birger Møller-Pedersen
      Pages 38-53
    2. Jameleddine Hassine, Abdelouahed Gherbi
      Pages 54-68
    3. Didier Nassiet, Yohan Livet, Marc Palyart, David Lugato
      Pages 69-78
  4. Test

    1. Sergey Baranov, Vsevolod Kotlyarov, Thomas Weigert
      Pages 79-89
    2. Antal Wu-Hen-Chang, Gusztáv Adamis, Levente Erős, Gábor Kovács, Tibor Csöndes
      Pages 90-105
    3. Mohamed Mussa, Ferhat Khendek
      Pages 106-121
  5. Components and Services

    1. Urooj Fatima, Rolv Bræk, Humberto Nicolás Castejón
      Pages 122-137
    2. Surya Bahadur Kathayat, Hien Nam Le, Rolv Bræk
      Pages 154-167
    3. Thomas Cottenier, Aswin van den Berg, Thomas Weigert
      Pages 168-185
  6. Specification and Description Language (SDL)

    1. Marc Krämer, Tobias Braun, Dennis Christmann, Reinhard Gotzhein
      Pages 186-201
    2. Dennis Christmann, Philipp Becker, Reinhard Gotzhein
      Pages 202-217
  7. Domain Specific Languages (Part 2)

    1. Franck Fleurey, Øystein Haugen, Birger Møller-Pedersen, Andreas Svendsen, Xiaorui Zhang
      Pages 233-246
    2. Marc Palyart, David Lugato, Ileana Ober, Jean-Michel Bruel
      Pages 247-261

About these proceedings

Introduction

This book constitutes the thoroughly refereed post-conference proceedings of the 15th International SDL Forum, SDL 2011, held in Toulouse, France, in July 2011. The 16 revised full papers presented together were carefully reviewed and selected for inclusion in the book. The papers cover a wide range of topics such as SDL and related languages; testing; and services and components to a wide range presentations of domain specific languages and applications, going from use maps to train station models or user interfaces for scientific dataset editors for high performance computing.

Keywords

domain-specific language integration testing and verification model checking modeling languages test cases generation

Editors and affiliations

  • Iulian Ober
    • 1
  • Ileana Ober
    • 2
  1. 1.Université de Toulouse, IRITToulouseFrance
  2. 2.IRIT - Université de ToulouseToulouseFrance

Bibliographic information

  • Copyright Information Springer-Verlag GmbH Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-25263-1
  • Online ISBN 978-3-642-25264-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349