Advertisement

Models in Software Engineering

Workshops and Symposia at MODELS 2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected Papers

  • Juergen Dingel
  • Arnor Solberg

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

Table of contents

  1. Front Matter
  2. Doctoral Symposium

  3. Educators’ Symposium

  4. Workshop – ACES-MB

    1. Stefan Van Baelen, Iulian Ober, Huascar Espinoza, Thomas Weigert, Ileana Ober, Sébastien Gérard
      Pages 70-74
    2. Wladimir Schamai, Philipp Helle, Peter Fritzson, Christiaan J. J. Paredis
      Pages 75-89
    3. Luciano Baresi, Angelo Morzenti, Alfredo Motta, Matteo Rossi
      Pages 90-104
  5. Workshop – AOM

    1. Jeff Gray, Dominik Stein, Jörg Kienzle, Walter Cazzola
      Pages 105-109
    2. Marko Bošković, Gunter Mussbacher, Ebrahim Bagheri, Daniel Amyot, Dragan Gašević, Marek Hatala
      Pages 110-124
    3. Max E. Kramer, Jörg Kienzle
      Pages 125-139
  6. Workshop – EOOLT

    1. Peter Fritzson, Edward A. Lee, François E. Cellier, David Broman
      Pages 140-144
  7. Workshop – MDI

    1. Jean Bézivin, Richard M. Soley, Antonio Vallecillo
      Pages 145-149
    2. M. Wimmer, G. Kappel, A. Kusel, W. Retschitzegger, J. Schoenboeck, W. Schwinger
      Pages 150-164
    3. Zinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki
      Pages 165-179
  8. Workshop – ME

    1. Dirk Deridder, Alfonso Pierantonio, Bernhard Schätz, Dalila Tamzalit
      Pages 180-183
    2. Petra Brosch, Horst Kargl, Philip Langer, Martina Seidl, Konrad Wieland, Manuel Wimmer et al.
      Pages 184-193
    3. Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
      Pages 194-203
  9. Workshop – Models@run.time

    1. Nelly Bencomo, Gordon Blair, Franck Fleurey, Cédric Jeanneret
      Pages 204-208
    2. Grzegorz Lehmann, Marco Blumendorf, Frank Trollmann, Sahin Albayrak
      Pages 209-223
    3. Thomas Vogel, Andreas Seibel, Holger Giese
      Pages 224-238
  10. Workshop – MoDeVVA

    1. Levi Lúcio, Elisangela Vieira, Stephan Weißleder
      Pages 239-243
    2. Harald Cichos, Thomas S. Heinze
      Pages 244-258
    3. Vincent Aranega, Jean-Marie Mottu, Anne Etien, Jean-Luc Dekeyser
      Pages 259-273
  11. Workshop – MPM

    1. Hans Vangheluwe, Vasco Amaral, Cécile Hardebolle, László Lengyel
      Pages 274-278
    2. Mark Asztalos, Eugene Syriani, Manuel Wimmer, Marouane Kessentini
      Pages 293-307
  12. Workshop – NFPinDSML

    1. Marko Bošković, Daniela Cancila, Claus Pahl, Bernhard Schätz
      Pages 308-311
    2. Rasmus Adler, Dominik Domis, Kai Höfig, Sören Kemmann, Thomas Kuhn, Jean-Pascal Schwinn et al.
      Pages 312-327
    3. Mauro Luigi Drago, Carlo Ghezzi, Raffaela Mirandola
      Pages 328-328
  13. Workshop – OCL and Textual Modelling

    1. Jordi Cabot, Tony Clark, Manuel Clavel, Martin Gogolla
      Pages 329-333
    2. Achim D. Brucker, Matthias P. Krieger, Delphine Longuet, Burkhart Wolff
      Pages 334-348
    3. Florian Heidenreich, Jendrik Johannes, Sven Karol, Mirko Seifert, Michael Thiele, Christian Wende et al.
      Pages 349-363
  14. Workshop – QUASSOS

    1. Heiko Koziolek, Steffen Becker, Jens Happe, Paul Pettersson
      Pages 364-368
  15. Workshop – RoSym

    1. Laurent Rioux, Davide Brugali, Sébastien Gérard
      Pages 400-400
    2. Gaëlle Lortal, Saadia Dhouib, Sébastien Gérard
      Pages 401-414
  16. Back Matter

Other volumes

  1. 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I
  2. 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part II
  3. Models in Software Engineering
    Workshops and Symposia at MODELS 2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected Papers

About these proceedings

Introduction

This book presents a comprehensive documentation of the scientific outcome of 14 satellite events held at the 13th International Conference on Model-Driven Engineering, Languages and Systems, MODELS 2010, held in Oslo, Norway, in October 2010. Besides the 21 revised best papers selected from 12 topically focused workshops, the post-proceedings also covers the doctoral symposium and the educators symposium; each of the 14 satellite events covered is introduced by a summary of the respective organizers. All relevant current aspects in model-based systems design and analysis are addressed. This book is the companion of the MODELS 2010 main conference proceedings LNCS 6394/6395.

Keywords

OCL formal methods meta modeling model-based architecting model-based verification modeling languages service-oriented computing systems modeling

Editors and affiliations

  • Juergen Dingel
    • 1
  • Arnor Solberg
    • 2
  1. 1.School of ComputingQueen’s UniversityKingstonCanada
  2. 2.SINTEFOsloNorway

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-21210-9
  • Copyright Information Springer Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-21209-3
  • Online ISBN 978-3-642-21210-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site