Description: Graph Transformation by Francesco Parisi-Presicce, Bernhard Westfechtel This book constitutes the proceedings of the 8th International Conference on Graph Transformations, ICGT 2015, held in LAquila, 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. applications: technical papers, and tool presentations. FORMAT Paperback LANGUAGE English CONDITION Brand New Publisher Description This book constitutes the proceedings of the 8th International Conference on Graph Transformations, ICGT 2015, held in LAquila, 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. Back Cover This book constitutes the proceedings of the 8th International Conference on Graph Transformations, ICGT 2015, held in LAquila, 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. Table of Contents 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. Feature Includes supplementary material: sn.pub/extras Details ISBN3319211447 Year 2015 ISBN-10 3319211447 ISBN-13 9783319211442 Format Paperback Short Title GRAPH TRANSFORMATION 2015/E Language English Media Book Series Number 9151 Pages 283 Edition 2015th Imprint Springer International Publishing AG Subtitle 8th International Conference, ICGT 2015, Held as Part of STAF 2015, LAquila, Italy, July 21-23, 2015. Proceedings Place of Publication Cham Country of Publication Switzerland Edited by Bernhard Westfechtel Illustrations 93 Illustrations, black and white; XIV, 283 p. 93 illus. DOI 10.1007/978-3-319-21145-9 Publication Date 2015-07-07 UK Release Date 2015-07-07 Birth 1980 Affiliation Universite de Picardie Jules Verne Amiens Position Graduate Student Qualifications (po Author Bernhard Westfechtel Publisher Springer International Publishing AG Edition Description 2015 ed. DEWEY 511/.5 Audience Professional & Vocational Series Lecture Notes in Computer Science We've got this At The Nile, if you're looking for it, we've got it. With fast shipping, low prices, friendly service and well over a million items - you're bound to find what you want, at a price you'll love! TheNile_Item_ID:116538690;
Price: 116.5 AUD
Location: Melbourne
End Time: 2025-02-05T06:57:20.000Z
Shipping Cost: 59.85 AUD
Product Images
Item Specifics
Restocking fee: No
Return shipping will be paid by: Buyer
Returns Accepted: Returns Accepted
Item must be returned within: 30 Days
ISBN-13: 9783319211442
Book Title: Graph Transformation
Number of Pages: 283 Pages
Language: English
Publication Name: Graph Transformation: 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings
Publisher: Springer International Publishing Ag
Publication Year: 2015
Subject: Computer Science, Mathematics
Item Height: 235 mm
Item Weight: 4569 g
Type: Textbook
Author: Francesco Parisi-Presicce, Bernhard Westfechtel
Item Width: 155 mm
Format: Paperback
