Cantitate/Preț
Produs
Total produse
Vezi coșul
Model-Based Methodologies for Pervasive and Embedded Software: 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012, Revised Papers de Ricardo J. Machado

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, cartea 7706

Editat de Ricardo J. Machado, Rita Suzana Maciel, Julia Rubin, Goetz Botterweck
en Limba Engleză Paperback – 14 mai 2013
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.
Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 28558 lei

Preț vechi: 35698 lei
-20%

Puncte Express: 428
Preț estimativ în valută:
5049€ • 6032$ • 4374£

Carte tipărită la comandă

Livrare economică 14-28 martie

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9783642382086
ISBN-10: 3642382088
Pagini: 152
Ilustrații: X, 139 p. 61 illus.
Dimensiuni: 155 x 235 x 8 mm
Greutate: 0.22 kg
Ediția:2013
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Programming and Software Engineering

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

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. 

Textul de pe ultima copertă

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.

Caracteristici

High quality selected papers Unique visibility State of the art research