Models in Software Engineering

Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers

  • Sudipto Ghosh
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6002)

Table of contents

  1. Front Matter
  2. Doctoral Symposium

    1. Juergen Dingel
      Pages 1-4
    2. Johannes Schoenboeck, Gerti Kappel, Angelika Kusel, Werner Retschitzegger, Wieland Schwinger, Manuel Wimmer
      Pages 5-20
  3. Educators’ Symposium

    1. Robert France, Martin Gogolla
      Pages 36-39
    2. Sabine Moisan, Jean-Paul Rigault
      Pages 40-54
    3. Jean Bezivin, Robert France, Martin Gogolla, Oystein Haugen, Gabriele Taentzer, Daniel Varro
      Pages 55-62
  4. Workshop — ACES-MB

    1. Stefan Van Baelen, Thomas Weigert, Ileana Ober, Huascar Espinoza, Iulian Ober
      Pages 63-67
    2. Goetz Botterweck, Andreas Polzer, Stefan Kowalewski
      Pages 68-82
    3. Basil Becker, Holger Giese, Stefan Neumann, Martin Schenck, Arian Treffer
      Pages 83-97
  5. Workshop — AOM

    1. Jörg Kienzle, Jeff Gray, Dominik Stein, Thomas Cottenier, Walter Cazzola, Omar Aldawud
      Pages 98-103
    2. Gefei Zhang, Matthias Hölzl
      Pages 104-118
  6. Workshop — Model@run.time

    1. Nelly Bencomo, Gordon Blair, Robert France, Freddy Muñoz, Cédric Jeanneret
      Pages 119-123
    2. Thomas Vogel, Stefan Neumann, Stephan Hildebrandt, Holger Giese, Basil Becker
      Pages 124-139
    3. Hui Song, Yingfei Xiong, Franck Chauvel, Gang Huang, Zhenjiang Hu, Hong Mei
      Pages 140-154
  7. Workshop — MoDeVVa

    1. Levi Lúcio, Stephan Weißleder
      Pages 155-157
    2. Seyyed M. A. Shah, Kyriakos Anastasakis, Behzad Bordbar
      Pages 158-171
  8. Workshop — MoDSE-MCCM

    1. Antonio Cicchetti, Davide Di Ruscio, Alfonso Pierantonio
      Pages 190-204

Other volumes

  1. 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings
  2. Models in Software Engineering
    Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers

About these proceedings

Keywords

CPN Software Engineering debugging design design pattern design patterns eclipse modeling framework embedded systems modeling structured analysis validation verification

Editors and affiliations

  • Sudipto Ghosh
    • 1
  1. 1.Department of Computer SienceColorado State University Fort CollinsUSA

Bibliographic information

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