Nadia Nad,
http://link.springer.com/chapter/10.1007%2F978-3-642-30982-3_11 thx :)
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