Graph transformation : 8th International Conference, ICGT 2015, held as part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings /: 8th International Conference, ICGT 2015, held as part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings. (2015)

• Record Type: Book
• Other Titles: ICGT 2015
• Further Information: Note: Francesco Parisi-Presicce, Bernhard Westfechtel (eds.).
• Editors: Parisi Presicce, Francesco; Westfechtel, Bernhard, 1958-
• Other Names: ICGT (Conference), 8th; STAF (Federation of conferences)
• 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.
• Publisher Details: Cham : Springer
• Publication Date: 2015
• Extent: 1 online resource (xiv, 283 pages), illustrations
• Subjects: 511/.5; Computer science; Graph theory -- Data processing -- Congresses; Computer science -- Congresses; Computer science; Graph theory -- Data processing; Computer Science; Engineering & Applied Sciences; Computers -- Software Development & Engineering -- General; Computers -- Data Modeling & Design; Computers -- Programming -- General; Computers -- Programming -- Algorithms; Mathematics -- Logic; Software Engineering; Algorithms & data structures; Computer programming / software development; Mathematical theory of computation; Computational complexity; Software engineering; Data structures (Computer science); Logic design; Computer software; Computers -- Data Processing; Discrete mathematics; Electronic books; Conference papers and proceedings; Electronic books
• Languages: English
• ISBNs: 9783319211459; 3319211455; 3319211447; 9783319211442
• Related ISBNs: 9783319211442
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed July 23, 2015).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.