Graph Transformation
8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings
(Sprache: Englisch)
This book constitutes the proceedings of the 8th International Conference on Graph Transformations, ICGT 2015, held in L'Aquila, Italy, in July 2015. The 15 full papers presented together with 3 short papers and 1 keynote were carefully reviewed and...
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei
Buch (Kartoniert)
Fr. 54.50
inkl. MwSt.
- Kreditkarte, Paypal, Rechnungskauf
- 30 Tage Widerrufsrecht
Produktdetails
Produktinformationen zu „Graph Transformation “
Klappentext zu „Graph Transformation “
This book constitutes the proceedings of the 8th International Conference on Graph Transformations, ICGT 2015, held in L'Aquila, Italy, in July 2015. The 15 full papers presented together with 3 short papers and 1 keynote were carefully reviewed and selected from 27 submissions. The papers are organized in topical sections on foundations; applications: technical papers, and tool presentations.
Inhaltsverzeichnis zu „Graph Transformation “
Polymorphic Sesqui-Pushout Graph Rewriting.- Predictive Top-Down Parsing for Hyperedge Replacement Grammars.- AGREE - Algebraic Graph Rewriting with Controlled Embedding.- Proving Termination of Graph Transformation Systems Using Weighted Type Graphs over Semirings.- Towards Local Confluence Analysis for Amalgamated Graph Transformation.- Multi-amalgamated Triple Graph Grammars.- Reconfigurable Petri Nets with Transition Priorities and Inhibitor Arcs.- Reachability in Graph Transformation Systems and Slice Languages.- Equational Reasoning with Context-Free Families of String Diagrams.- Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations.- Characterizing Conflicts Between Rule Application and Rule Evolution in Graph Transformation Systems.- Graph Pattern Matching as an Embedded Clojure DSL.- Using Graph Transformations for Formalizing Prescriptions and Monitoring.- Towards Compliance Verification Between Global and Local Process Models.- Inductive Invariant Checking with Partial Negative Application Conditions.- Tool Support for Multi-amalgamated Triple Graph Grammars.- Uncover: Using Coverability Analysis for Verifying Graph Transformation Systems.- Local Search-Based Pattern Matching Features in EMF-INCQUERY.Bibliographische Angaben
- 2015, 2015, XIV, 283 Seiten, Masse: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
- Herausgegeben: Francesco Parisi-Presicce, Bernhard Westfechtel
- Verlag: Springer, Berlin
- ISBN-10: 3319211447
- ISBN-13: 9783319211442
- Erscheinungsdatum: 07.07.2015
Sprache:
Englisch
Kommentar zu "Graph Transformation"
0 Gebrauchte Artikel zu „Graph Transformation“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Graph Transformation".
Kommentar verfassen