Model Driven Engineering Languages and Systems

15th International Conference, MODELS 2012, Innsbruck, Austria, September 30–October 5, 2012. Proceedings

  • Robert B. France
  • Jürgen Kazmeier
  • Ruth Breu
  • Colin Atkinson

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

Table of contents

  1. Front Matter
  2. Keynote

    1. Thomas A. Henzinger
      Pages 1-2
  3. MetaModels and Domain Specific Modeling

    1. Jesús Sánchez-Cuadrado, Juan de Lara, Esther Guerra
      Pages 3-19
    2. Florian Noyrit, Sébastien Gérard, Bran Selic
      Pages 20-35
    3. Fazle Rabbi, Wendy MacCaull
      Pages 36-52
  4. Models at RunTime

    1. Andres J. Ramirez, Betty H. C. Cheng, Nelly Bencomo, Pete Sawyer
      Pages 53-69
    2. Germán H. Alférez, Vicente Pelechano
      Pages 70-86
    3. François Fouquet, Grégory Nain, Brice Morin, Erwan Daubert, Olivier Barais, Noël Plouzeau et al.
      Pages 87-101
  5. Model Management I

    1. Markus Scheidgen, Anatolij Zubow, Joachim Fischer, Thomas H. Kolbe
      Pages 102-118
    2. Benoit Combemale, Xavier Thirioux, Benoit Baudry
      Pages 119-133
    3. Ábel Hegedüs, Ákos Horváth, István Ráth, Dániel Varró
      Pages 134-150
  6. Modeling Methods and Tools I

    1. Jean-Marie Favre, Ralf Lämmel, Andrei Varanovich
      Pages 151-167
    2. Rolf-Helge Pfeiffer, Andrzej Wąsowski
      Pages 168-184
    3. Carmine Gravino, Michele Risi, Giuseppe Scanniello, Genoveffa Tortora
      Pages 185-201
  7. Consistency Analysis

    1. Kleinner Farias, Alessandro Garcia, Carlos Lucena
      Pages 219-234
    2. Lars Hamann, Oliver Hofrichter, Martin Gogolla
      Pages 235-251
  8. Software Product Lines I

    1. Julia Schroeter, Malte Lochau, Tim Winkelmann
      Pages 252-268
    2. Martin Fagereng Johansen, Øystein Haugen, Franck Fleurey, Anne Grete Eldegard, Torbjørn Syversen
      Pages 269-284
    3. Vinay Kulkarni, Souvik Barat, Suman Roychoudhury
      Pages 285-301

About these proceedings


This book constitutes the refereed proceedings of the 15th International Conference on Model Driven Engineering Languages and Systems, MODELS 2012, held in Innsbruck, Austria, in September/October 2012.
The 50 papers presented in this volume were carefully reviewed and selected from a total of 181 submissions. They are organized in topical sections named: metamodels and domain specific modeling; models at runtime; model management; modeling methods and tools, consistency analysis, software product lines; foundations of modeling; static analysis techniques; model testing and simulation; model transformation; model matching, tracing and synchronization; modeling practices and experience; and model analysis.


OCL UML models large-scale software development model-driven development software modeling languages

Editors and affiliations

  • Robert B. France
    • 1
  • Jürgen Kazmeier
    • 2
  • Ruth Breu
    • 3
  • Colin Atkinson
    • 4
  1. 1.Department of Computer ScienceColorado State UniversityFort CollinsUSA
  2. 2.Healthcare Services International, Managed ServicesSiemens AGErlangenGermany
  3. 3.Institute of Computer ScienceUniversity of InnsbruckInnsbruckAustria
  4. 4.Software Engineering Group, A5, 6University of MannheimMannheimGermany

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-33665-2
  • Online ISBN 978-3-642-33666-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors