Skip to main content
SpringerLink
Log in

Model-Based Methodologies for Pervasive and Embedded Software

8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012, Revised Papers

  • Conference proceedings
  • © 2013

Overview

Editors:
  1. Ricardo J. Machado

    1. Department Sistemas de Informacao, Escola de Engenharia, Universidade do Minho, Guimarães, Portugal

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Rita Suzana P. Maciel

    1. Departamento de Ciencia da Computacao, Universidade Federal da Bahia, Salvador, Brazil

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Julia Rubin

    1. IBM Research, Haifa, Israel

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Goetz Botterweck

    1. Lero - The Irish Software Engineering Research Centre, University of Limerick, Limerick, Ireland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • High quality selected papers
  • Unique visibility
  • State of the art research

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

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

Included in the following conference series:

Conference proceedings info: MOMPES 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 49.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 (8 papers)

  1. Front Matter

    Download chapter PDF

  2. A Graphical Specification of Model Composition with Triple Graph Grammars

    • Adil Anwar, Amine Benelallam, Mahmoud Nassar, Bernard Coulette
    Pages 1-18

  3. MapIt: A Model Based Pattern Recovery Tool

    • Rui Couto, António Nestor Ribeiro, José Creissac Campos
    Pages 19-37

  4. Combining Testing and Runtime Verification Techniques

    • Kevin Falzon, Gordon J. Pace
    Pages 38-57

  5. A Lightweight, Composable Metamodelling Language for Specification and Validation of Internal Domain Specific Languages

    • Markus Klotzbücher, Herman Bruyninckx
    Pages 58-68

  6. Analysis of Simulink Models Using Databases and Model Transformations

    • Daniel Merschen, Robert Gleis, Julian Pott, Stefan Kowalewski
    Pages 69-84

  7. Feature-Based Adaptation of Database Schemas

    • Marco Mori, Anthony Cleve
    Pages 85-105

  8. Towards a CPN-Based Modelling Approach for Reconciling Verification and Implementation of Protocol Models

    • Kent Inge Fagerland Simonsen, Lars Michael Kristensen
    Pages 106-125

  9. Guidelines for Modelling Reactive Systems with Coloured Petri Nets

    • Madalena Gonçalves, João M. Fernandes
    Pages 126-137

  10. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Model-Based Methodologies for Pervasive and Embedded Software

Keywords

About this book

This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2012, held in Essen, Germany, in September 2012.
The 7 revised full papers presented together with 1 short papers were carefully reviewed and selected from 16 submissions. The papers cover a large spectrum of topics including model-driven engineering, model analysis, runtime verification, modeling of reactive systems, variability modeling, and domain-specific languages.

Editors and Affiliations

  • Department Sistemas de Informacao, Escola de Engenharia, Universidade do Minho, Guimarães, Portugal

    Ricardo J. Machado

  • Departamento de Ciencia da Computacao, Universidade Federal da Bahia, Salvador, Brazil

    Rita Suzana P. Maciel

  • IBM Research, Haifa, Israel

    Julia Rubin

  • Lero - The Irish Software Engineering Research Centre, University of Limerick, Limerick, Ireland

    Goetz Botterweck

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation