Advertisement

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
    2. Anthony Fernandes Pires, Thomas Polacsek, Virginie Wiels, Stéphane Duprat
      Pages 320-335
    3. Faiez Zalila, Xavier Crégut, Marc Pantel
      Pages 336-351
  9. Product Lines

    1. Mathieu Acher, Benoit Combemale, Philippe Collet, Olivier Barais, Philippe Lahire, Robert B. France
      Pages 352-369
    2. Kunming Nie, Tao Yue, Shaukat Ali, Li Zhang, Zhiqiang Fan
      Pages 370-387
    3. Javier González-Huerta, Emilio Insfrán, Silvia Abrahão
      Pages 388-404
  10. Evolution 2

    1. Marc-Florian Wendland, Martin Schneider, Øystein Haugen
      Pages 405-421
    2. Regina Hebig, Holger Giese, Florian Stallmann, Andreas Seibel
      Pages 436-453
  11. Semantics

    1. Gabor Simko, David Lindecker, Tihamer Levendovszky, Sandeep Neema, Janos Sztipanovits
      Pages 471-487
    2. Lars Hamann, Martin Gogolla
      Pages 488-504
  12. Domain-Specific Modeling Languages

    1. Florian Noyrit, Sébastien Gérard, François Terrier
      Pages 505-521
    2. Laurent Wouters
      Pages 522-537
    3. Oszkár Semeráth, Ákos Horváth, Dániel Varró
      Pages 538-554
  13. Models@RT

    1. Hui Song, Stephen Barrett, Aidan Clarke, Siobhán Clarke
      Pages 555-571
    2. Xiaodong Zhang, Xing Chen, Ying Zhang, Yihan Wu, Wei Yao, Gang Huang et al.
      Pages 572-588
    3. Borislav Iordanov, Assia Alexandrova, Syed Abbas, Thomas Hilpold, Phani Upadrasta
      Pages 589-603
  14. Design and Architecture

    1. Omar Alam, Jörg Kienzle, Gunter Mussbacher
      Pages 604-621
    2. Sagar Sunkle, Vinay Kulkarni, Suman Roychoudhury
      Pages 622-638
    3. Kleinner Farias, Alessandro Garcia, Jon Whittle, Carlos Lucena
      Pages 639-655
  15. Model Transformation

    1. Massimo Tisi, Salvador Martínez, Hassene Choura
      Pages 656-672
    2. Michalis Famelis, Rick Salay, Alessio Di Sandro, Marsha Chechik
      Pages 673-689
    3. Gehan M. K. Selim, Fabian Büttner, James R. Cordy, Juergen Dingel, Shige Wang
      Pages 690-706
  16. Model Analysis

    1. Christian Saad, Bernhard Bauer
      Pages 707-723
    2. Wuliang Sun, Robert B. France, Indrakshi Ray
      Pages 724-739
    3. Adrian Fernandez, Silvia Abrahão, Emilio Insfran, Maristella Matera
      Pages 740-756
  17. System Synthesis

  18. Back Matter

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
  • Buy this book on publisher's site