Saxo Access
Indkøbskurv
  3. Analysis and Correctness of Algebraic Graph and Model Transformations
Analysis and Correctness of Algebraic Graph and Model Transformations (e-bog) af Golas, Ulrike
Golas, Ulrike (forfatter)

Analysis and Correctness of Algebraic Graph and Model Transformations e-bog

436,85 DKK (inkl. moms 546,06 DKK)
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 simula...
E-bog 436,85 DKK
Kan læses i vores apps til iPhone/iPad og Android.
Forfattere Golas, Ulrike (forfatter)
Forlag Vieweg+Teubner Verlag
Udgivet 11 april 2011
Genrer Computer science
Sprog English
Format pdf
Beskyttelse LCP
ISBN 9783834899347

Beskrivelse

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.