Title: Applications of Graph Transformations with Industrial Relevance
Description: <p>This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Symposium on Applications of Graph Transformations, AGTIVE 2011, held in Budapest, Hungary, in October 2011. <br>The 13 revised full papers presented together with 2 invited talks, 2 application reports, and 3 tool demonstration papers were carefully selected from 36 submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on invited talk abstracts, model-driven engineering, graph transformation applications, tool demonstrations, graph transformation exploration techniques, graph transformation semantics and reasoning, application reports and bidirectional transformations.</p>
Subjects: Mathematical Logic and Formal Languages, Computational complexity, Discrete Mathematics in Computer Science, Software engineering, Algorithm Analysis and Problem Complexity, Logic design, Data Structures, Logics and Meanings of Programs, Data structures (Computer science), Computer software, Computer science, Congresses, Rewriting systems (Computer science), Machine theory