Model-Based Methodologies for Pervasive and Embedded Software - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642382086, 9783642382093

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Graphical Specification of Model Composition with Triple Graph Grammars

Model-Based Methodologies for Pervasive and Embedded Software - Lecture Notes in Computer Science ◽

10.1007/978-3-642-38209-3_1 ◽

2013 ◽

pp. 1-18 ◽

Cited By ~ 3

Author(s):

Adil Anwar ◽

Amine Benelallam ◽

Mahmoud Nassar ◽

Bernard Coulette

Keyword(s):

Graph Grammars ◽

Model Composition ◽

Triple Graph Grammars

Download Full-text

MapIt: A Model Based Pattern Recovery Tool

Model-Based Methodologies for Pervasive and Embedded Software - Lecture Notes in Computer Science ◽

10.1007/978-3-642-38209-3_2 ◽

2013 ◽

pp. 19-37 ◽

Cited By ~ 1

Author(s):

Rui Couto ◽

António Nestor Ribeiro ◽

José Creissac Campos

Keyword(s):

Model Based

Download Full-text

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

Model-Based Methodologies for Pervasive and Embedded Software - Lecture Notes in Computer Science ◽

10.1007/978-3-642-38209-3_7 ◽

2013 ◽

pp. 106-125 ◽

Cited By ~ 3

Author(s):

Kent Inge Fagerland Simonsen ◽

Lars Michael Kristensen

Keyword(s):

Modelling Approach

Download Full-text

Analysis of Simulink Models Using Databases and Model Transformations

Model-Based Methodologies for Pervasive and Embedded Software - Lecture Notes in Computer Science ◽

10.1007/978-3-642-38209-3_5 ◽

2013 ◽

pp. 69-84 ◽

Cited By ~ 1

Author(s):

Daniel Merschen ◽

Robert Gleis ◽

Julian Pott ◽

Stefan Kowalewski

Keyword(s):

Model Transformations

Download Full-text

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

Model-Based Methodologies for Pervasive and Embedded Software - Lecture Notes in Computer Science ◽

10.1007/978-3-642-38209-3_4 ◽

2013 ◽

pp. 58-68

Author(s):

Markus Klotzbücher ◽

Herman Bruyninckx

Keyword(s):

Domain Specific Languages ◽

Domain Specific ◽

Internal Domain

Download Full-text

Guidelines for Modelling Reactive Systems with Coloured Petri Nets

Model-Based Methodologies for Pervasive and Embedded Software - Lecture Notes in Computer Science ◽

10.1007/978-3-642-38209-3_8 ◽

2013 ◽

pp. 126-137

Author(s):

Madalena Gonçalves ◽

João M. Fernandes

Keyword(s):

Petri Nets ◽

Reactive Systems ◽

Coloured Petri Nets

Download Full-text

Feature-Based Adaptation of Database Schemas

Model-Based Methodologies for Pervasive and Embedded Software - Lecture Notes in Computer Science ◽

10.1007/978-3-642-38209-3_6 ◽

2013 ◽

pp. 85-105 ◽

Cited By ~ 1

Author(s):

Marco Mori ◽

Anthony Cleve

Keyword(s):

Feature Based

Download Full-text

Combining Testing and Runtime Verification Techniques

Model-Based Methodologies for Pervasive and Embedded Software - Lecture Notes in Computer Science ◽

10.1007/978-3-642-38209-3_3 ◽

2013 ◽

pp. 38-57 ◽

Cited By ~ 3

Author(s):

Kevin Falzon ◽

Gordon J. Pace

Keyword(s):

Runtime Verification ◽

Verification Techniques

Download Full-text

Model-Based Methodologies for Pervasive and Embedded Software - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

A Graphical Specification of Model Composition with Triple Graph Grammars

MapIt: A Model Based Pattern Recovery Tool

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

Analysis of Simulink Models Using Databases and Model Transformations

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

Guidelines for Modelling Reactive Systems with Coloured Petri Nets

Feature-Based Adaptation of Database Schemas

Combining Testing and Runtime Verification Techniques

Model-Based Methodologies for Pervasive and Embedded Software - Lecture Notes in Computer Science
Latest Publications