Model-Based Methodologies for Pervasive and Embedded Software

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

Häftad, Engelska, 2013

AvRicardo J. Machado,Rita Suzana Maciel,Julia Rubin,Goetz Botterweck

649 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

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.

Produktinformation

Utgivningsdatum2013-05-14
Mått155 x 235 x 9 mm
Vikt242 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor139
Upplaga2013
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783642382086

Tillhör följande kategorier

Systemvetenskap och AI inom Data och IT
Programvaruutveckling inom Data och IT
Programmeringsböcker inom Data och IT
Hårdvara inom Data och IT
Artificiell intelligens inom Data och IT

A Graphical Specification of Model Composition with Triple Graph Grammars.- MapIt: A Model Based Pattern Recovery Tool.- Combining Testing and Runtime Verification Techniques.- A Lightweight, Composable Metamodelling Language for Specification and Validation of Internal Domain Specific Languages.- Analysis of Simulink Models Using Databases and Model Transformations.- Feature-Based Adaptation of Database Schemas.- Towards a CPN-Based Modelling Approach for Reconciling Verification and Implementation of Protocol Models.- Guidelines for Modelling Reactive Systems with Coloured Petri Nets.