Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2013

Model-Based Methodologies for Pervasive and Embedded Software

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

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)

Conference series link(s): MOMPES: International Workshop on Model-Based Methodologies for Pervasive and Embedded Software

Conference proceedings info: MOMPES 2012.

Sections

Buy it now

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

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

Table of contents (8 papers)

  1. Front Matter

    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

  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

    PDF
Back to top

Other Volumes

  1. Model-Based Methodologies for Pervasive and Embedded Software

Back to top

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.
Back to top

Keywords

Back to top

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

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation