Analysis and Correctness of Algebraic Graph and Model Transformations
Wersja papierowa
Autor:
Golas Ulrike
Wydawnictwo:
Springer Nature B.V.ISBN: 978-38-348-1493-7
Format: 14.8x21.0cm
Liczba stron: 244
Oprawa: Miękka
Wydanie: 2011 r.
Język: angielski
Dostępność: dostępny
480,70 zł
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.