Model-Driven Engineering Languages and Systems

16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings

  • Ana Moreira
  • Bernhard Schätz
  • Jeff Gray
  • Antonio Vallecillo
  • Peter Clarke
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8107)

Table of contents

  1. Front Matter
  2. Tool Support 1

    1. Jon Whittle, John Hutchinson, Mark Rouncefield, Håkan Burden, Rogardt Heldal
      Pages 1-17
    2. Friedrich Steimann, Bastian Ulke
      Pages 18-34
    3. Mārtiņš Francis, Dimitrios S. Kolovos, Nicholas Matragkas, Richard F. Paige
      Pages 35-51
  3. Dependability

    1. Salvador Martínez, Joaquin Garcia-Alfaro, Frédéric Cuppens, Nora Cuppens-Boulahia, Jordi Cabot
      Pages 52-68
    2. Jose Luis de la Vara, Rajwinder Kaur Panesar-Walawege
      Pages 69-86
    3. Alexander Pretschner, Dominik Holling, Robert Eschbach, Matthias Gemmar
      Pages 87-103
  4. Comprehensibility

    1. Don Batory, Eric Latimer, Maider Azanza
      Pages 121-137
    2. Frédéric Fondement, Pierre-Alain Muller, Laurent Thiry, Brice Wittmann, Germain Forestier
      Pages 138-153
  5. Tool Support 2

    1. Tobias Kuschke, Patrick Mäder, Patrick Rempel
      Pages 170-186
    2. Martin Faunes, Juan Cadavid, Benoit Baudry, Houari Sahraoui, Benoit Combemale
      Pages 187-202
  6. Testing

    1. Manuel Wimmer, Loli Burgueño
      Pages 203-219
    2. Hector M. Chavez, Wuwei Shen, Robert B. France, Benjamin A. Mechling
      Pages 220-236
    3. Shuai Wang, Arnaud Gotlieb, Shaukat Ali, Marius Liaaen
      Pages 237-253
  7. Semantics Evolution 1

    1. Gabriele Taentzer, Florian Mantz, Thorsten Arendt, Yngve Lamo
      Pages 254-270
    2. Walter Cazzola, Nicole Alicia Rossini, Mohammed Al-Refai, Robert B. France
      Pages 271-286
    3. Andreas Demuth, Roberto E. Lopez-Herrejon, Alexander Egyed
      Pages 287-303
  8. Verification

    1. Karolina Zurowska, Juergen Dingel
      Pages 304-319

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 16th International Conference on Model Driven Engineering Languages and Systems, MODELS 2013, held in Miami, FL, USA, in September/October 2013. The 47 full papers presented in this volume were carefully reviewed and selected from a total of 180 submissions. They are organized in topical sections named: tool support; dependability; comprehensibility; testing; evolution; verification; product lines; semantics; domain-specific modeling languages; models@RT; design and architecture; model transformation; model analysis; and system synthesis.

Editors and affiliations

  • Ana Moreira
    • 1
  • Bernhard Schätz
    • 2
  • Jeff Gray
    • 3
  • Antonio Vallecillo
    • 4
  • Peter Clarke
    • 5
  1. 1.Faculdade de Ciências e Tecnologia, Departamento de InformáticaUniversidade Nova de LisboaCaparicaPortugal
  2. 2.Institut für Mathematikfortiss / Technische Universität MünchenMünchenGermany
  3. 3.Department of Computer ScienceUniversity of AlabamaTuscaloosaUSA
  4. 4.ETSI InformáticaUniversidad de MálagaMálagaSpain
  5. 5.School of Computing and Information Sciences, College of Engineering and ComputingFlorida International UniversityMiamiUSA

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-41533-3
  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-41532-6
  • Online ISBN 978-3-642-41533-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book