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.