Skip to main content
SpringerLink
Log in

Model-Driven Engineering Languages and Systems

16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings

  • Conference proceedings
  • © 2013

Overview

Editors:
  1. Ana Moreira

    1. Faculdade de Ciências e Tecnologia, Departamento de Informática, Universidade Nova de Lisboa, Caparica, Portugal

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Bernhard Schätz

    1. Institut für Mathematik, fortiss / Technische Universität München, München, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Jeff Gray

    1. Department of Computer Science, University of Alabama, Tuscaloosa, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Antonio Vallecillo

    1. ETSI Informática, Universidad de Málaga, Málaga, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Peter Clarke

    1. School of Computing and Information Sciences, College of Engineering and Computing, Florida International University, Miami, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Up-to-date results
  • State-of-the-art research
  • Fast-track conference proceedings

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

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

Included in the following conference series:

Conference proceedings info: MODELS 2013.

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

  1. Front Matter

    Download chapter PDF

  2. Tool Support 1

    1. Industrial Adoption of Model-Driven Engineering: Are the Tools Really the Problem?

      • Jon Whittle, John Hutchinson, Mark Rouncefield, Håkan Burden, Rogardt Heldal
      Pages 1-17

    2. Generic Model Assist

      • Friedrich Steimann, Bastian Ulke
      Pages 18-34

    3. Adding Spreadsheets to the MDE Toolkit

      • Mārtiņš Francis, Dimitrios S. Kolovos, Nicholas Matragkas, Richard F. Paige
      Pages 35-51

  3. Dependability

    1. Model-Driven Extraction and Analysis of Network Security Policies

      • Salvador Martínez, Joaquin Garcia-Alfaro, Frédéric Cuppens, Nora Cuppens-Boulahia, Jordi Cabot
      Pages 52-68

    2. SafetyMet: A Metamodel for Safety Standards

      • Jose Luis de la Vara, Rajwinder Kaur Panesar-Walawege
      Pages 69-86

    3. A Generic Fault Model for Quality Assurance

      • Alexander Pretschner, Dominik Holling, Robert Eschbach, Matthias Gemmar
      Pages 87-103

  4. Comprehensibility

    1. Towards an Operationalization of the “Physics of Notations” for the Analysis of Visual Languages

      • Harald Störrle, Andrew Fish
      Pages 104-120

    2. Teaching Model Driven Engineering from a Relational Database Perspective

      • Don Batory, Eric Latimer, Maider Azanza
      Pages 121-137

    3. Big Metamodels Are Evil

      • Frédéric Fondement, Pierre-Alain Muller, Laurent Thiry, Brice Wittmann, Germain Forestier
      Pages 138-153

  5. Tool Support 2

    1. Integrating Modeling Tools in the Development Lifecycle with OSLC: A Case Study

      • Maged Elaasar, Adam Neal
      Pages 154-169

    2. Recommending Auto-completions for Software Modeling Activities

      • Tobias Kuschke, Patrick Mäder, Patrick Rempel
      Pages 170-186

    3. Automatically Searching for Metamodel Well-Formedness Rules in Examples and Counter-Examples

      • Martin Faunes, Juan Cadavid, Benoit Baudry, Houari Sahraoui, Benoit Combemale
      Pages 187-202

  6. Testing

    1. Testing M2T/T2M Transformations

      • Manuel Wimmer, Loli Burgueño
      Pages 203-219

    2. An Approach to Testing Java Implementation against Its UML Class Model

      • Hector M. Chavez, Wuwei Shen, Robert B. France, Benjamin A. Mechling
      Pages 220-236

    3. Automated Test Case Selection Using Feature Model: An Industrial Case Study

      • Shuai Wang, Arnaud Gotlieb, Shaukat Ali, Marius Liaaen
      Pages 237-253

  7. Semantics Evolution 1

    1. Customizable Model Migration Schemes for Meta-model Evolutions with Multiplicity Changes

      • Gabriele Taentzer, Florian Mantz, Thorsten Arendt, Yngve Lamo
      Pages 254-270

    2. Fine-Grained Software Evolution Using UML Activity and Class Models

      • Walter Cazzola, Nicole Alicia Rossini, Mohammed Al-Refai, Robert B. France
      Pages 271-286

    3. Supporting the Co-evolution of Metamodels and Constraints through Incremental Constraint Management

      • Andreas Demuth, Roberto E. Lopez-Herrejon, Alexander Egyed
      Pages 287-303

  8. Verification

    1. Model Checking of UML-RT Models Using Lazy Composition

      • Karolina Zurowska, Juergen Dingel
      Pages 304-319
Back to top

Other volumes

  1. Model-Driven Engineering Languages and Systems

About this book

This book constitutes the refereed proceedings of the 16th International Conference on Model Driven Engineering Languages and Systems, MODELS 2013, held in Miami, FL, USA, in September/October 2013. The 47 full papers presented in this volume were carefully reviewed and selected from a total of 180 submissions. They are organized in topical sections named: tool support; dependability; comprehensibility; testing; evolution; verification; product lines; semantics; domain-specific modeling languages; models@RT; design and architecture; model transformation; model analysis; and system synthesis.

Editors and Affiliations

  • Faculdade de Ciências e Tecnologia, Departamento de Informática, Universidade Nova de Lisboa, Caparica, Portugal

    Ana Moreira

  • Institut für Mathematik, fortiss / Technische Universität München, München, Germany

    Bernhard Schätz

  • Department of Computer Science, University of Alabama, Tuscaloosa, USA

    Jeff Gray

  • ETSI Informática, Universidad de Málaga, Málaga, Spain

    Antonio Vallecillo

  • School of Computing and Information Sciences, College of Engineering and Computing, Florida International University, Miami, USA

    Peter Clarke

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation