Analysis and Correctness of Algebraic Graph and Model Transformations - Ulrike Golas - Grāmatas - Springer Fachmedien Wiesbaden - 9783834814937 - 2011. gada 13. janvāris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Analysis and Correctness of Algebraic Graph and Model Transformations 2011 edition

Cena
€ 53,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 30. jūl. - . gada 7. aug.
Saņemiet paziņojumus par jauniem Ulrike Golas izdevumiem
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

Graph and model transformations play a central role for visual modeling and model-driven software development. 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. Ulrike Golas extends this theory 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. The developed methods and results are applied to the non-trivial problem of the specification of syntax and operational semantics for UML statecharts and a model transformation from statecharts to Petri nets preserving the semantics.


226 pages, 59 black & white illustrations, biography

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2011. gada 13. janvāris
ISBN13 9783834814937
Izdevēji Springer Fachmedien Wiesbaden
Lapas 226
Izmēri 148 × 210 × 13 mm   ·   294 g
Valoda Angļu   Vācu  

Vairāk no tā paša izdevēja

Skatīt visus Ulrike Golas ( piem., Paperback Book )