SDL 2009: Design for Motes and Mobiles

14th International SDL Forum Bochum, Germany, September 22-24, 2009 Proceedings

  • Rick Reed
  • Attila Bilgic
  • Reinhard Gotzhein
Conference proceedings SDL 2009

DOI: 10.1007/978-3-642-04554-7

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

Table of contents

  1. Front Matter
  2. Model-Driven Development

    1. Frank Alexander Kraemer, Vidar Slåtten, Peter Herrmann
      Pages 1-18
    2. Reinhard Gotzhein, Marc Krämer, Lothar Litz, Alain Chamaken
      Pages 19-33
    3. Philipp Becker, Dennis Christmann, Reinhard Gotzhein
      Pages 34-52
    4. El Arbi Aboussoror, Ileana Ober, Michelle Sibilla
      Pages 53-62
  3. Analysis and Assessment

    1. Akhtar Ali Jalbani, Jens Grabowski, Helmut Neukirchen, Benjamin Zeiss
      Pages 63-81
    2. Gábor Kovács, Gábor Árpád Németh, Mahadevan Subramaniam, Zoltán Pap
      Pages 82-97
  4. Evolution of Development Languages

    1. Gunter Mussbacher, Daniel Amyot
      Pages 115-132
    2. Muhammad R. Abid, Daniel Amyot, Stéphane S. Somé, Gunter Mussbacher
      Pages 133-148
  5. Language Implementation and Support

    1. Andreas Blunk, Joachim Fischer, Daniel A. Sadilek
      Pages 149-164
    2. Kevin Marth, Shangping Ren
      Pages 165-181
  6. Application Studies

    1. Klaus Ahrens, Ingmar Eveslage, Joachim Fischer, Frank Kühnlenz, Dorian Weber
      Pages 200-221
    2. Anas Showk, David Szczesny, Shadi Traboulsi, Irv Badr, Elizabeth Gonzalez, Attila Bilgic
      Pages 222-238
    3. Shadi Traboulsi, Felix Bruns, Anas Showk, David Szczesny, Sebastian Hessel, Elizabeth Gonzalez et al.
      Pages 239-255
  7. Back Matter

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 14th International SDL Forum, SDL 2009, held in Bochum, Germany, in September 2009.

The 15 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on model-driven development, analysis and assessment, evolution of development languages, language implementation and support, and application studies.

Keywords

aspect-oriented modeling aspect-oriented requirements description languages design embedded systems formal modeling formal validation formal verification hardware/software co-design metamodeling model-based development modeling programming structured design testing

Editors and affiliations

  • Rick Reed
    • 1
  • Attila Bilgic
    • 2
  • Reinhard Gotzhein
    • 3
  1. 1.Telecommunications Software Engineering Limited, The LaurelsCumbriaUnited Kingdom
  2. 2.Ruhr-Universität BochumBochumGermany
  3. 3.Networked Systems GroupUniversity of KaiserslauternKaiserslauternGermany

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-04553-0
  • Online ISBN 978-3-642-04554-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349