Overview
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9151)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Included in the following conference series:
Conference proceedings info: ICGT 2015.
Buy print copy
About this book
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.
Similar content being viewed by others
Keywords
- algebraic language theory
- amalgamation
- computational models
- grammar analysis
- graph constraints
- graph grammar
- graph parsing
- graph rewriting
- graph transformation system
- hypergraphs
- local search
- meta modeling
- model checking
- model transformations
- model-driven software engineering
- reachability
- reconfigurable petrinets
- rewrite systems
- software verification
- verification
- data structures
Table of contents (18 papers)
-
Front Matter
-
Foundations
-
Front Matter
-
-
Applications: Technical Papers
-
Front Matter
-
-
Applications: Tool Presentations
-
Front Matter
-
Other volumes
-
Graph Transformation
Editors and Affiliations
Bibliographic Information
Book Title: Graph Transformation
Book Subtitle: 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings
Editors: Francesco Parisi-Presicce, Bernhard Westfechtel
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-21145-9
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing Switzerland 2015
Softcover ISBN: 978-3-319-21144-2Published: 07 July 2015
eBook ISBN: 978-3-319-21145-9Published: 16 July 2015
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIV, 283
Number of Illustrations: 93 b/w illustrations
Topics: Discrete Mathematics in Computer Science, Software Engineering, Data Structures, Logics and Meanings of Programs, Algorithm Analysis and Problem Complexity, Mathematical Logic and Formal Languages