Model-Based Methodologies for Pervasive and Embedded Software
Editat de Ricardo J. Machado, Rita Suzana Maciel, Julia Rubin, Goetz Botterwecken Limba Engleză Paperback – 14 mai 2013
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.
Preț: 287.16 lei
Preț vechi: 358.95 lei
-20%
Puncte Express: 431
Preț estimativ în valută:
50.78€ • 58.23$ • 43.89£
50.78€ • 58.23$ • 43.89£
Carte tipărită la comandă
Livrare economică 27 aprilie-11 mai
Specificații
ISBN-13: 9783642382086
ISBN-10: 3642382088
Pagini: 152
Ilustrații: X, 139 p. 61 illus.
Dimensiuni: 155 x 235 x 9 mm
Greutate: 0.24 kg
Ediția:2013
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3642382088
Pagini: 152
Ilustrații: X, 139 p. 61 illus.
Dimensiuni: 155 x 235 x 9 mm
Greutate: 0.24 kg
Ediția:2013
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
V-ar putea interesa
-
-20%Preț: 245.55 lei306.95 lei -
Documenting Software ArchitecturesPaul Clements-20%Preț: 424.25 lei530.31 lei -
-20%Preț: 315.57 lei394.46 lei -
-20%Preț: 215.61 lei269.51 lei -
Beginning Google Maps API 3Gabriel Svennerberg-20%Preț: 313.44 lei391.80 lei -
Pro Spring 3Rob Harrop-20%Preț: 272.76 lei340.95 lei -
Pro ASP.NET 4.5 in CAdam Freeman-20%Preț: 365.79 lei457.23 lei -
Ada for Software EngineersMordechai Ben-Ari-20%Preț: 534.34 lei667.93 lei -
Java Methods for Financial EngineeringPhilip Barker-20%Preț: 573.75 lei717.18 lei -
Successful Test Management: An Integral ApproachIris Pinkster-20%Preț: 329.25 lei411.55 lei -
Algorithms and Architectures for Parallel ProcessingAnu G. Bourgeois-20%Preț: 324.22 lei405.27 lei -
Model Driven Engineering and Ontology DevelopmentDragan Ga¿evic-20%Preț: 632.64 lei790.81 lei -
Assurances for Self-Adaptive SystemsJavier Cámara-20%Preț: 324.82 lei406.03 lei -
-20%Preț: 410.80 lei513.50 lei
Public țintă
ResearchCuprins
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.
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