International SDL Forum

SDL 2015: Model-Driven Engineering for Smart Cities

17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Proceedings

  • Joachim Fischer
  • Markus Scheidgen
  • Ina Schieferdecker
  • Rick Reed
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9369)

Table of contents

  1. Front Matter
    Pages I-XIV
  2. Smart Cities and Distributed Systems

    1. Front Matter
      Pages 1-1
    2. Alexander Letichevsky, Oleksandr Letychevskyi, Volodymyr Peschanenko, Thomas Weigert
      Pages 3-18
    3. Mahin Abbasipour, Ferhat Khendek, Maria Toeroe
      Pages 19-26
    4. Edel Sherratt, Ileana Ober, Emmanuel Gaudin, Pau Fonseca i Casas, Finn Kristoffersen
      Pages 27-41
  3. Specification and Description Language

    1. Front Matter
      Pages 47-47
    2. Tobias Braun, Dennis Christmann
      Pages 49-64
    3. Emmanuel Gaudin, Alain Clouard
      Pages 81-88
  4. Domain Specific Languages

    1. Front Matter
      Pages 89-89
    2. Terje Gjøsæter, Andreas Prinz
      Pages 91-105
    3. Patrick Harms, Jens Grabowski
      Pages 106-121
    4. Amine El Kouhen, Abdelouahed Gherbi, Cédric Dumoulin, Ferhat Khendek
      Pages 122-137
  5. Goal Modeling

    1. Front Matter
      Pages 139-139
    2. Mustafa Berk Duran, Gunter Mussbacher, Nishanth Thimmegowda, Jörg Kienzle
      Pages 141-158
    3. Vahdat Abdelzad, Daniel Amyot, Timothy C. Lethbridge
      Pages 159-174
  6. Use-Case Modeling

    1. Front Matter
      Pages 175-175
    2. Edna Braun, Daniel Amyot, Timothy C. Lethbridge
      Pages 177-192
    3. Patrice Boulet, Daniel Amyot, Bernard Stepien
      Pages 193-201

About these proceedings

Introduction

This book constitutes the proceedings of the 17th International System Design Language Forum, SDL 2015, held in Berlin, Germany, in October 2015.

The 15 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 26 submissions. They are organized in topical sections named: smart cities and distributed systems; specification and description language; domain specific languages; goal modeling; use-case modeling; and model-based testing.

Keywords

Design languages Distributed systems Domain Specific Languages (DSLs) Formal languages Formal software verification Internet of Things (IoT) Model-based testing Model-driven engineering Modeling Program semantics Requirements analysis Smart city Software engineering Software testing and debugging Software verification and validation Specification languages System description languages System modeling languages Unified Modeling Language (UML) Use cases

Editors and affiliations

  • Joachim Fischer
    • 1
  • Markus Scheidgen
    • 2
  • Ina Schieferdecker
    • 3
  • Rick Reed
    • 4
  1. 1.Humboldt-Universität zu BerlinBerlinGermany
  2. 2.Humboldt-Universität zu BerlinBerlinGermany
  3. 3.Fraunhofer FOKUSBerlinGermany
  4. 4.Telecommunications Software EngineeringWindermereUnited Kingdom

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-24912-4
  • Copyright Information Springer International Publishing Switzerland 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-24911-7
  • Online ISBN 978-3-319-24912-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349