Model-Based Methodologies for Pervasive and Embedded Software

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

By: Ricardo J. Machado (Editor), Rita Suzana Maciel (Editor), Julia Rubin (Editor)

Write A Review

Paperback | 14 May 2013

At a Glance

Paperback
152 Pages

Dimensions(cm)
23.39 x 15.6 x 0.84

Paperback

$74.99

or 4 interest-free payments of $18.75 with

Ships in 5 to 7 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $89.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.