Skip to main content
  • Conference proceedings
  • © 2010

Models in Software Engineering

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

Editors:

  • Up-to-date results

  • Fast track conference proceedings

  • State-of-the-art report

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Conference series link(s): MODELS: International Conference on Model Driven Engineering Languages and Systems

Conference proceedings info: MODELS 2009.

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (32 papers)

  1. Front Matter

  2. Doctoral Symposium

    1. The Doctoral Symposium at MODELS 2009

      • Juergen Dingel
      Pages 1-4
    2. Catch Me If You Can – Debugging Support for Model Transformations

      • Johannes Schoenboeck, Gerti Kappel, Angelika Kusel, Werner Retschitzegger, Wieland Schwinger, Manuel Wimmer
      Pages 5-20
  3. Educators’ Symposium

    1. Essentials of the 5th Educators’ Symposium at MODELS 2009

      • Robert France, Martin Gogolla
      Pages 36-39
    2. Teaching Object-Oriented Modeling and UML to Various Audiences

      • Sabine Moisan, Jean-Paul Rigault
      Pages 40-54
    3. Teaching Modeling: Why, When, What?

      • Jean Bezivin, Robert France, Martin Gogolla, Oystein Haugen, Gabriele Taentzer, Daniel Varro
      Pages 55-62
  4. Workshop — ACES-MB

    1. Model Based Architecting and Construction of Embedded Systems (ACES-MB 2009)

      • Stefan Van Baelen, Thomas Weigert, Ileana Ober, Huascar Espinoza, Iulian Ober
      Pages 63-67
    2. Using Higher-Order Transformations to Derive Variability Mechanism for Embedded Systems

      • Goetz Botterweck, Andreas Polzer, Stefan Kowalewski
      Pages 68-82
    3. Model-Based Extension of AUTOSAR for Architectural Online Reconfiguration

      • Basil Becker, Holger Giese, Stefan Neumann, Martin Schenck, Arian Treffer
      Pages 83-97
  5. Workshop — AOM

    1. Report of the 14th International Workshop on Aspect-Oriented Modeling

      • Jörg Kienzle, Jeff Gray, Dominik Stein, Thomas Cottenier, Walter Cazzola, Omar Aldawud
      Pages 98-103
    2. HiLA: High-Level Aspects for UML State Machines

      • Gefei Zhang, Matthias Hölzl
      Pages 104-118
  6. Workshop — Model@run.time

    1. 4th International Workshop on Models@run.time

      • Nelly Bencomo, Gordon Blair, Robert France, Freddy Muñoz, Cédric Jeanneret
      Pages 119-123
    2. Incremental Model Synchronization for Efficient Run-Time Monitoring

      • Thomas Vogel, Stefan Neumann, Stephan Hildebrandt, Holger Giese, Basil Becker
      Pages 124-139
    3. Generating Synchronization Engines between Running Systems and Their Model-Based Views

      • Hui Song, Yingfei Xiong, Franck Chauvel, Gang Huang, Zhenjiang Hu, Hong Mei
      Pages 140-154
  7. Workshop — MoDeVVa

    1. MoDeVVa Workshop Summary

      • Levi Lúcio, Stephan Weißleder
      Pages 155-157
    2. From UML to Alloy and Back Again

      • Seyyed M. A. Shah, Kyriakos Anastasakis, Behzad Bordbar
      Pages 158-171
  8. Workshop — MoDSE-MCCM

    1. Model Patches in Model-Driven Engineering

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

Other Volumes

  1. Models in Software Engineering

Keywords

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

Editors and Affiliations

  • Department of Computer Sience, Colorado State University Fort Collins, USA

    Sudipto Ghosh

Bibliographic Information

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions