E-Book, Englisch, Band 9761, 253 Seiten, eBook
Echahed / Minas Graph Transformation
1. Auflage 2016
ISBN: 978-3-319-40530-8
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings
E-Book, Englisch, Band 9761, 253 Seiten, eBook
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-319-40530-8
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
Keynote.- Complexity Is the Only Constant: Trends in Computing and Their Relevance to Model Driven Engineering.- Foundations .- Sesqui-Pushout Rewriting with Type Refinements.- Parallelism in AGREE Transformations.- Model Checking Reconfigurable Petri Nets with Maude.- Tools and Algorithms .- A Software Package for Chemically Inspired Graph Transformation.- A Tool Environment for Managing Families of Model Transformation Rules.- Compiling Graph Programs to C.- An Algorithm for the Critical Pair Analysis of Amalgamated Graph Transformations.- Queries .- Rete Network Slicing for Model Queries.- An SQL-Based Query Language and Engine for Graph Pattern Matching.- On the Operationalization of Graph Queries with Generalized Discrimination Networks.- Applications .- The Incremental Advantage: Evaluating the Performance of a TGG-based Visualisation Framework.- Automatic Inference of Graph Transformation Rules Using the Cyclic Nature of Chemical Reactions.- Using Graph Transformation for Puzzle Game Level Generation and Validation.- Graph Transformation Meets Reversible Circuits: Model Transformation and Optimization.