Analysis and Correctness of Algebraic Graph and Model Transformations
Graph and model transformations play a central role for visual modeling and model-driven software development. Within the last decade, a mathematical theory of algebraic graph and model transformations has been developed for modeling, analysis, and to show the correctness of transformations. Ulrike...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Wiesbaden :
Vieweg+Teubner,
2011.
|
| Subjects: | |
| Online Access: | Full Text via HEAL-Link |
