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
Carte tipărită la comandă
Livrare economică 28 iulie-11 august
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 400.00 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
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ț: 253.77 lei317.20 lei -
Documenting Software Architectures: Views and BeyondPaul Clements-20%Preț: 442.91 lei553.63 lei -
-20%Preț: 335.21 lei419.01 lei -
-20%Preț: 214.15 lei267.69 lei -
Beginning Google Maps API 3Gabriel Svennerberg-20%Preț: 324.86 lei406.08 lei -
Pro Spring 3Rob Harrop-20%Preț: 279.12 lei348.90 lei -
Pro ASP.NET 4.5 in CAdam Freeman-20%Preț: 377.08 lei471.35 lei -
Ada for Software EngineersMordechai Ben-Ari-20%Preț: 536.42 lei670.53 lei -
Java Methods for Financial EngineeringPhilip Barker-20%Preț: 590.46 lei738.08 lei -
Successful Test ManagementIris Pinkster-20%Preț: 334.81 lei418.51 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ț: 639.12 lei798.90 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