TY - BOOK AU - AU - AU - AU - ED - SpringerLink (Online service) TI - Graph Transformations: 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings T2 - Lecture Notes in Computer Science, SN - 9783642336546 AV - QA76.9.M35 U1 - 004.0151 23 PY - 2012/// CY - Berlin, Heidelberg PB - Springer Berlin Heidelberg, Imprint: Springer KW - Computer science KW - Software engineering KW - Data structures (Computer science) KW - Computer software KW - Logic design KW - Computational complexity KW - Computer Science KW - Discrete Mathematics in Computer Science KW - Software Engineering KW - Data Structures KW - Logics and Meanings of Programs KW - Algorithm Analysis and Problem Complexity KW - Mathematical Logic and Formal Languages N1 - ZDB-2-SCS; ZDB-2-LNC N2 - 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 UR - http://dx.doi.org/10.1007/978-3-642-33654-6 ER -