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...
Clasificación: | Libro Electrónico |
---|---|
Autor principal: | |
Autor Corporativo: | |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Wiesbaden :
Vieweg+Teubner Verlag : Imprint: Vieweg+Teubner Verlag,
2011.
|
Edición: | 1st ed. 2011. |
Temas: | |
Acceso en línea: | Texto Completo |