Skip to main content
SpringerLink
Log in
Book cover

Models in Software Engineering

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

  • Conference proceedings
  • © 2010

Overview

Editors:
  1. Sudipto Ghosh

    1. Department of Computer Sience, Colorado State University Fort Collins, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • 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)

Included in the following conference series:

Conference proceedings info: MODELS 2009.

This is a preview of subscription content, log in via an institution to check access.

Access this book

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

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (32 papers)

  1. Front Matter

    Download chapter PDF

  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. A Coordination-Based Model-Driven Method for Parallel Application Development

      • Stefan Gudenkauf
      Pages 21-35

  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

    3. Generating Class Contracts from Deterministic UML Protocol Statemachines

      • Ivan Porres, Irum Rauf
      Pages 172-185

  8. Workshop — MoDSE-MCCM

    1. “Models and Evolution”: Joint MoDSE-MCCM 2009 Workshop on Model-Driven Software Evolution (MoDSE) Model Co-Evolution and Consistency Management (MCCM)

      • Dalila Tamzalit, Dirk Deridder, Bernhard Schätz
      Pages 186-189

    2. Model Patches in Model-Driven Engineering

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

Other volumes

  1. Model Driven Engineering Languages and Systems

  2. Models in Software Engineering

Keywords

Editors and Affiliations

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

    Sudipto Ghosh

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation