Items related to Analysis and Correctness of Algebraic Graph and Model...
Synopsis
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.
"synopsis" may belong to another edition of this title.
From the Back Cover
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.
About the Author
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.
"About this title" may belong to another edition of this title.
- PublisherVieweg+Teubner Verlag
- Publication date2011
- ISBN 10 3834814938
- ISBN 13 9783834814937
- BindingPaperback
- LanguageEnglish
- Number of pages242
Search results for Analysis and Correctness of Algebraic Graph and Model...
Stock Image
Analysis and Correctness of Algebraic Graph and Model Transformations
Seller: Midtown Scholar Bookstore, Harrisburg, PA, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. Very Good - Crisp, clean, unread book with some shelfwear/edgewear, may have a remainder mark - NICE Standard-sized. Seller Inventory # M3834814938Z2
Quantity: 2 available
Stock Image
Analysis and Correctness of Algebraic Graph and Model Transformations
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Apr0316110070213
Quantity: Over 20 available
Seller Image
Analysis and Correctness of Algebraic Graph and Model Transformations
Published by
Vieweg+Teubner Jan 2011, 2011
ISBN 10: 3834814938
ISBN 13: 9783834814937
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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 pp. Englisch. Seller Inventory # 9783834814937
Quantity: 2 available
Seller Image
Analysis and Correctness of Algebraic Graph and Model Transformations
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Seller Inventory # 9783834814937
Quantity: 1 available
Stock Image
Analysis And Correctness Of Algebraic Graph And Model Transformations
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 2011 edition. 242 pages. 8.20x5.60x0.50 inches. In Stock. Seller Inventory # x-3834814938
Quantity: 2 available
Seller Image
Analysis and Correctness of Algebraic Graph and Model Transformations
Print on DemandSeller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Dr. Ulrike Golas completed her doctoral thesis under the supervision of Prof. Dr. Hartmut Ehrig at the Institut fuer Softwaretechnik und Theoretische Informatik at Technische Universitaet, Berlin.Ulrike Golas extends a mathematical theory of algebraic gra. Seller Inventory # 5379570
Quantity: Over 20 available
Stock Image
Analysis and Correctness of Algebraic Graph and Model Transformations
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9783834814937
Quantity: 10 available
Stock Image
Analysis and Correctness of Algebraic Graph and Model Transformations
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783834814937_new
Quantity: Over 20 available
Stock Image
Analysis and Correctness of Algebraic Graph and Model Transformations
Seller: Mispah books, Redhill, SURRE, United Kingdom
Seller rating 4 out of 5 stars
Paperback. Condition: Like New. Like New. book. Seller Inventory # ERICA79638348149386
Quantity: 1 available