Graph Transformation - 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings

This book constitutes the refereed proceedings of the 10th International Conference on Graph Transformation, ICGT 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017.
The 14 papers presented were carefully reviewed and selected from 23 submissions. The papers cover a wide range of topics including theoretical approaches to graph transformation and their verification, model-driven engineering, chemical reactions as well as various applications. They are organized in the following topical sections: foundations; graph language and parsing; analysis and verification; and model transformation and tools.

Summary

This book constitutes the refereed proceedings of the 10th International Conference on Graph Transformation, ICGT 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017.
The 14 papers presented were carefully reviewed and selected from 23 submissions. The papers cover a wide range of topics including theoretical approaches to graph transformation and their verification, model-driven engineering, chemical reactions as well as various applications. They are organized in the following topical sections: foundations; graph language and parsing; analysis and verification; and model transformation and tools.

Product details

• Assisted by: Juan De Lara (Editor), Detlef Plump (Editor)
• Publisher: Springer, Berlin
• Languages: English
• Product format: Paperback / Softback
• Released: 22.06.2017
• EAN: 9783319614694
• ISBN: 978-3-31-961469-4
• No. of pages: 231
• Dimensions: 157 mm x 15 mm x 235 mm
• Weight: 384 g
• Illustrations: XIV, 231 p. 76 illus.
• Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
• Subjects: Natural sciences, medicine, IT, technology > IT, data processing > IT; C, Algorithmen und Datenstrukturen, Data Science, Algorithms, Datenbanken, Computerprogrammierung und Softwareentwicklung, Diskrete Mathematik, Systemanalyse und -design, Compiler und Übersetzer, computer science, Discrete Mathematics in Computer Science, Programming Techniques, Programming Languages, Compilers, Interpreters, Computer programming, Systems analysis & design, Algorithms & data structures, Computer programming / software engineering, Computer science—Mathematics, Maths for computer scientists, Algorithm Analysis and Problem Complexity, Data structures (Computer science), Data Structures, Programming & scripting languages: general, Compilers & interpreters, Programming languages (Electronic computers), Computer system failures, System Performance and Evaluation, Compilers and Interpreters