Analysis and Correctness of Algebraic Graph and Model Transformations by Ulrike
118,57 €
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. Based on M-adhesive transformation systems, model transformations are successfully analyzed regarding syntactical correctness, completeness, functional behavior, and semantical simulation and correctness.
Jetzt bei Ebay:
