314 followers
Model Transformations in change propagation and coupled evolution domains http://t.co/GWGDmLKz6a #springerlink
314 followers
Model Transformations- 2012 Formal Methods for MDE http://t.co/GWGDmM1C8a #springerlink
Formal Methods for Model-Driven Engineering
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 The Less Well Known UML
-
Altmetric BadgeChapter 2 MDE Basics with a DSL Focus
-
Altmetric BadgeChapter 3 Object Constraint Language (OCL): A Definitive Guide
-
Altmetric BadgeChapter 4 Model Transformations
-
Altmetric BadgeChapter 5 Graph Transformations for MDE, Adaptation, and Models at Runtime
-
Altmetric BadgeChapter 6 Abstractions for Validation in Action
-
Altmetric BadgeChapter 7 Software Performance Modeling
-
Altmetric BadgeChapter 8 Model Transformations in Non-functional Analysis
-
Altmetric BadgeChapter 9 Software Performance Antipatterns: Modeling and Analysis
-
Altmetric BadgeChapter 10 Formal Methods for Model-Driven Engineering
-
Altmetric BadgeChapter 11 Formal Specification and Testing of Model Transformations