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
Conference proceedings MODELS 2010

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
Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Aerospace
Engineering