Analysis and Correctness of Algebraic Graph and Model Transformations
Autor: | Golas, Ulrike |
---|---|
EAN: | 9783834814937 |
Sachgruppe: | Informatik, EDV Mathematik |
Sprache: | Englisch |
Seitenzahl: | 244 |
Produktart: | Kartoniert / Broschiert |
Veröffentlichungsdatum: | 13.01.2011 |
Schlagworte: | Algebra Analysis Calculus |
53,49 €*
Die Verfügbarkeit wird nach ihrer Bestellung bei uns geprüft.
Bücher sind in der Regel innerhalb von 1-2 Werktagen abholbereit.
Ulrike Golas extends a mathematical theory of algebraic graph and model transformations for more sophisticated applications like the specification of syntax, semantics, and model transformations of complex models. Based on M-adhesive transformation systems, model transformations are successfully analyzed regarding syntactical correctness, completeness, functional behavior, and semantical simulation and correctness.