Graph Transformation 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012, Proceedings / [electronic resource] :
edited by Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg.
- 1st ed. 2012.
- XII, 427 p. 166 illus. online resource.
- Theoretical Computer Science and General Issues, 7562 2512-2029 ; .
- Theoretical Computer Science and General Issues, 7562 .
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.
9783642336546
10.1007/978-3-642-33654-6 doi
Computer science--Mathematics.
Discrete mathematics.
Software engineering.
Artificial intelligence--Data processing.
Computer science.
Algorithms.
Machine theory.
Discrete Mathematics in Computer Science.
Software Engineering.
Data Science.
Computer Science Logic and Foundations of Programming.
Algorithms.
Formal Languages and Automata Theory.
QA76.9.M35 QA297.4
004.0151
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.
9783642336546
10.1007/978-3-642-33654-6 doi
Computer science--Mathematics.
Discrete mathematics.
Software engineering.
Artificial intelligence--Data processing.
Computer science.
Algorithms.
Machine theory.
Discrete Mathematics in Computer Science.
Software Engineering.
Data Science.
Computer Science Logic and Foundations of Programming.
Algorithms.
Formal Languages and Automata Theory.
QA76.9.M35 QA297.4
004.0151