Analysis and Correctness of Algebraic Graph and Model Transformations

Please note that the standard 14-day cancellation right terminates upon receiving access to the e-book.

Product description

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.

Accessibility information

Select variation, to see accessibility information

Details

  • ISBN13 9783834899347
  • Released 2011
  • Publisher Vieweg+Teubner Verlag
  • Format Elektronisk medie
  • Language English