Graph Transformation [electronic resource] : 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012, Proceedings /
ICGT (Conference)(6th :2012 :Bremen, Germany)
ICGT (Conference)
Ehrig, Hartmut.editor.
Engels, Gregor.editor.
Kreowski, Hans-Jörg.editor.
Rozenberg, Grzegorz.editor.
This book constitutes the proceedings of the 6th International Conference on Graph Transformations, ICGT 2012, held in Bremen, Germany, in September 2012. The 30 papers and 3 invited papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on behavioural analysis, high-level graph transformation, revisited approaches, general transformation models, structuring and verification, graph transformations in use, (meta-)model evolution and incremental approaches.
International conference proceedings.
Includes bibliographical references and author index.
This book constitutes the proceedings of the 6th International Conference on Graph Transformations, ICGT 2012, held in Bremen, Germany, in September 2012. The 30 papers and 3 invited papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on behavioural analysis, high-level graph transformation, revisited approaches, general transformation models, structuring and verification, graph transformations in use, (meta-)model evolution and incremental approaches.
Computer science—Mathematics.
Software engineering.
Data structures (Computer science).
Computer logic.
Algorithms.
Mathematical logic.
Discrete Mathematics in Computer Science.
Software Engineering.
Data Structures.
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
Mathematical Logic and Formal Languages.

Lecture Notes in Computer Science