Skip to main content
SpringerLink
Log in

Models in Software Engineering

Workshops and Symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers

  • Conference proceedings
  • © 2012

Overview

Editors:
  1. Jörg Kienzle

    1. School of Computer Science, McGill University, Montreal, Canada

    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 research

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: MODELS 2011.

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 (27 papers)

  1. Model-Driven Engineering, Verification and Validation

    1. Specifying a Testing Oracle for Train Stations – Going beyond with Product Line Technology

      • Andreas Svendsen, Øystein Haugen, Birger Møller-Pedersen
      Pages 187-201

    2. Use Cases for Context Aware Model-Checking

      • Amine Raji, Philippe Dhaussy
      Pages 202-216

  2. Comparing Modeling Approaches Workshop

    1. Comparing Six Modeling Approaches

      • Gunter Mussbacher, Wisam Al Abed, Omar Alam, Shaukat Ali, Antoine Beugnard, Valentin Bonnet et al.
      Pages 217-243

  3. Models and Evolution Workshop

    1. Summary of the Second International Workshop on Models and Evolution

      • Dirk Deridder, Alfonso Pierantonio, Bernhard Schätz, Jonathan Sprinkle, Dalila Tamzalit
      Pages 244-245

    2. Towards Semantics-Aware Merge Support in Optimistic Model Versioning

      • Petra Brosch, Uwe Egly, Sebastian Gabmeyer, Gerti Kappel, Martina Seidl, Hans Tompits et al.
      Pages 246-256

  4. 4th International Workshop on Model-Based Architecting and Construction of Embedded Systems

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

      • Stefan Van Baelen, Sébastien Gérard, Ileana Ober, Thomas Weigert, Huascar Espinoza, Iulian Ober
      Pages 257-261

    2. Model-Based Consistency Checks of Electric and Electronic Architectures against Requirements

      • Nico Adler, Philipp Graf, Klaus D. Müller-Glaser
      Pages 262-275

    3. A Model-Driven Approach for Software Parallelization

      • Margarete Sackmann, Peter Ebraert, Dirk Janssens
      Pages 276-290

  5. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Model Driven Engineering Languages and Systems

  2. Models in Software Engineering

Keywords

About this book

This book presents a comprehensive documentation of the scientific outcome of satellite events held at the 14th International Conference on Model-Driven Engineering, Languages and Systems, MODELS 2011, held in Wellington, New Zealand, in October 2011. In addition to 3 contributions each of the doctoral symposium and the educators' symposium, papers from the following workshops are included: variability for you; multi-paradigm modeling; experiences and empirical studies in software modelling; models@run.time; model-driven engineering, verification and validation; comparing modeling approaches; models and evoluation; and model-based architecting and construction of embedded systems.

Editors and Affiliations

  • School of Computer Science, McGill University, Montreal, Canada

    Jörg Kienzle

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation