


default search action
8. MOMPES 2012: Essen, Germany
- Ricardo Jorge Machado, Rita Suzana Pitangueira Maciel, Julia Rubin, Goetz Botterweck:

Model-Based Methodologies for Pervasive and Embedded Software, 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers. Lecture Notes in Computer Science 7706, Springer 2013, ISBN 978-3-642-38208-6 - Adil Anwar, Amine Benelallam, Mahmoud Nassar

, Bernard Coulette:
A Graphical Specification of Model Composition with Triple Graph Grammars. 1-18 - Rui Couto

, António Nestor Ribeiro
, José Creissac Campos
:
MapIt: A Model Based Pattern Recovery Tool. 19-37 - Kevin Falzon, Gordon J. Pace:

Combining Testing and Runtime Verification Techniques. 38-57 - Markus Klotzbücher, Herman Bruyninckx:

A Lightweight, Composable Metamodelling Language for Specification and Validation of Internal Domain Specific Languages. 58-68 - Daniel Merschen, Robert Gleis, Julian Pott, Stefan Kowalewski:

Analysis of Simulink Models Using Databases and Model Transformations. 69-84 - Marco Mori, Anthony Cleve:

Feature-Based Adaptation of Database Schemas. 85-105 - Kent Inge Fagerland Simonsen, Lars Michael Kristensen

:
Towards a CPN-Based Modelling Approach for Reconciling Verification and Implementation of Protocol Models. 106-125 - Madalena Gonçalves, João M. Fernandes

:
Guidelines for Modelling Reactive Systems with Coloured Petri Nets. 126-137

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














