‹ zurück Sie sind hier:  Startseite » Buchhändler » MARZIES.de Buch- und Medienhan… » Analysis and Correctness of Algebraic Graph and Model Transformations

Linksbuch Neu neu Rechtsbuch

Golas, Ulrike

Analysis and Correctness of Algebraic Graph and Model Transformations (Kartoniert / Broschiert / Paperback)

Vieweg+Teubner Verlag, Vieweg & Teubner, Januar 2011


226 S. - Sprache: Englisch - 213x151x17 mm

ISBN: 3834814938 EAN: 9783834814937

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.


Preis: 101,64 EUR
Versandkosten: 0,00 EUR
Gesamtpreis: 101,64 EUR
In den Warenkorb

Anbieter: MARZIES.de Buch- und Medienhan… (Impressum/Lieferzeit)
Katalog: HC/Mathematik/Arithmetik/Algebra

Angebotene Zahlungsarten: Vorauskasse
Transparente Bestellabwicklung - Verkäufer nutzt Order-Control - klicken für mehr Information
Transparente Bestellabwicklung -
Verkäufer nutzt Order-Control

 

Produktdetails

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.

Inhaltsverzeichnis

Introduction to Graph and Model Transformation, and Related Work - M-Adhesive Transformation; Systems - Amalgamated Transformations - Model Transformation Based on Triple Graph; Transformation - Analysis, Correctness, and Construction of Model Transformations

Über den Autor

:Dr. Ulrike Golas completed her doctoral thesis under the supervision of Prof. Dr. Hartmut Ehrig at the Institut für Softwaretechnik und Theoretische Informatik at Technische Universität, Berlin.


ISBN 3-8348-1493-8

ISBN 978-3-8348-1493-7

Buch empfehlen Buch empfehlen
Sparen Sie Versandkosten beim Kauf weiterer Artikel dieses Buchhändlers.

Champs algébriques von Laumon, Gérard; Moret-Bailly, L.
96,29 EUR
Algebra and Its Applications Proceedings of the International Conference held at Aligarh Muslim Univ von Ashraf, Mohammad (Herausgeber); de Filippis, Vincenzo (Herausgeber); Rizvi, Syed Tariq (Herausgeber)
119,95 EUR
192,59 EUR

Homological and Computational Methods in Commutative Algebra Dedicated to Winfried Bruns on the occa von Conca, Aldo (Herausgeber); Gubeladze, Joseph (Herausgeber); Römer, Tim (Herausgeber)
106,99 EUR

Topics in Hyperplane Arrangements, Polytopes and Box-Splines von De Concini, Corrado; Procesi, Claudio
69,54 EUR
Meine zuletzt angesehenen antiquarischen und neue Bücher
Meine letzten Buch Suchanfragen
    Noch keine Suchanfragen vorhanden.

© 2003 - 2018 by whSoft GmbH
Entdecken Sie außerdem: Antiquariatsportal · Achtung-Bücher.de · Booklink · Buchhai - Bücher Preisvergleich
Alle genannten Preise sind Bruttopreise und enthalten, soweit nicht anders vom Verkäufer angegeben, die gesetzliche Umsatzsteuer.