Skip to main content
SpringerLink
Log in
Book cover

Model Driven Engineering Languages and Systems

15th International Conference, MODELS 2012, Innsbruck, Austria, September 30 -- October 5, 2012, Proceedings

  • Conference proceedings
  • © 2012

Overview

Editors:
  1. Robert B. France

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jürgen Kazmeier

    1. Healthcare Services International, Managed Services, Siemens AG, Erlangen, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Ruth Breu

    1. Institute of Computer Science, University of Innsbruck, Innsbruck, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Colin Atkinson

    1. Software Engineering Group, A5, 6, University of Mannheim, Mannheim, Germany

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

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

Included in the following conference series:

Conference proceedings info: MODELS 2012.

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

  1. Front Matter

    Download chapter PDF

  2. Keynote

    1. Quantitative Reactive Models

      • Thomas A. Henzinger
      Pages 1-2

  3. MetaModels and Domain Specific Modeling

    1. Bottom-Up Meta-Modelling: An Interactive Approach

      • Jesús Sánchez-Cuadrado, Juan de Lara, Esther Guerra
      Pages 3-19

    2. FacadeMetamodel: Masking UML

      • Florian Noyrit, Sébastien Gérard, Bran Selic
      Pages 20-35

    3. T □: A Domain Specific Language for Rapid Workflow Development

      • Fazle Rabbi, Wendy MacCaull
      Pages 36-52

  4. Models at RunTime

    1. Relaxing Claims: Coping with Uncertainty While Evaluating Assumptions at Run Time

      • Andres J. Ramirez, Betty H. C. Cheng, Nelly Bencomo, Pete Sawyer
      Pages 53-69

    2. Dynamic Evolution of Context-Aware Systems with Models at Runtime

      • Germán H. Alférez, Vicente Pelechano
      Pages 70-86

    3. An Eclipse Modelling Framework Alternative to Meet the Models@Runtime Requirements

      • François Fouquet, Grégory Nain, Brice Morin, Erwan Daubert, Olivier Barais, Noël Plouzeau et al.
      Pages 87-101

  5. Model Management I

    1. Automated and Transparent Model Fragmentation for Persisting Large Models

      • Markus Scheidgen, Anatolij Zubow, Joachim Fischer, Thomas H. Kolbe
      Pages 102-118

    2. Formally Defining and Iterating Infinite Models

      • Benoit Combemale, Xavier Thirioux, Benoit Baudry
      Pages 119-133

    3. Query-Driven Soft Interconnection of EMF Models

      • Ábel Hegedüs, Ákos Horváth, István Ráth, Dániel Varró
      Pages 134-150

  6. Modeling Methods and Tools I

    1. Modeling the Linguistic Architecture of Software Products

      • Jean-Marie Favre, Ralf Lämmel, Andrei Varanovich
      Pages 151-167

    2. Cross-Language Support Mechanisms Significantly Aid Software Development

      • Rolf-Helge Pfeiffer, Andrzej Wąsowski
      Pages 168-184

    3. Do Professional Developers Benefit from Design Pattern Documentation? A Replication in the Context of Source Code Comprehension

      • Carmine Gravino, Michele Risi, Giuseppe Scanniello, Genoveffa Tortora
      Pages 185-201

  7. Consistency Analysis

    1. Incremental Consistency Checking for Complex Design Rules and Larger Model Changes

      • Alexander Reder, Alexander Egyed
      Pages 202-218

    2. Evaluating the Impact of Aspects on Inconsistency Detection Effort: A Controlled Experiment

      • Kleinner Farias, Alessandro Garcia, Carlos Lucena
      Pages 219-234

    3. On Integrating Structure and Behavior Modeling with OCL

      • Lars Hamann, Oliver Hofrichter, Martin Gogolla
      Pages 235-251

  8. Software Product Lines I

    1. Multi-perspectives on Feature Models

      • Julia Schroeter, Malte Lochau, Tim Winkelmann
      Pages 252-268

    2. Generating Better Partial Covering Arrays by Modeling Weights on Sub-product Lines

      • Martin Fagereng Johansen, Øystein Haugen, Franck Fleurey, Anne Grete Eldegard, Torbjørn Syversen
      Pages 269-284

    3. Towards Business Application Product Lines

      • Vinay Kulkarni, Souvik Barat, Suman Roychoudhury
      Pages 285-301
Back to top

Other volumes

  1. Model Driven Engineering Languages and Systems

Keywords

About this book

This book constitutes the refereed proceedings of the 15th International Conference on Model Driven Engineering Languages and Systems, MODELS 2012, held in Innsbruck, Austria, in September/October 2012. The 50 papers presented in this volume were carefully reviewed and selected from a total of 181 submissions. They are organized in topical sections named: metamodels and domain specific modeling; models at runtime; model management; modeling methods and tools, consistency analysis, software product lines; foundations of modeling; static analysis techniques; model testing and simulation; model transformation; model matching, tracing and synchronization; modeling practices and experience; and model analysis.

Editors and Affiliations

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

    Robert B. France

  • Healthcare Services International, Managed Services, Siemens AG, Erlangen, Germany

    Jürgen Kazmeier

  • Institute of Computer Science, University of Innsbruck, Innsbruck, Austria

    Ruth Breu

  • Software Engineering Group, A5, 6, University of Mannheim, Mannheim, Germany

    Colin Atkinson

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation