• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Analysis and Correctness of Algebraic Graph and Model Transformations

Analysis and Correctness of Algebraic Graph and Model Transformations

Paperback

General Computers

ISBN10: 3834814938
ISBN13: 9783834814937
Publisher: Vieweg+teubner Verlag
Published: Jan 13 2011
Pages: 226
Weight: 0.65
Height: 0.51 Width: 5.83 Depth: 8.27
Language: English
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.

Also in

General Computers