03599nam 22008175 450 99646561090331620230329234811.03-642-33654-X10.1007/978-3-642-33654-6(CKB)3400000000086241(SSID)ssj0000767517(PQKBManifestationID)11479880(PQKBTitleCode)TC0000767517(PQKBWorkID)10740467(PQKB)11274730(DE-He213)978-3-642-33654-6(MiAaPQ)EBC3070312(PPN)168325055(EXLCZ)99340000000008624120120918d2012 u| 0engurnn#008mamaatxtccrGraph Transformation[electronic resource] 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012, Proceedings /edited by Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg1st ed. 2012.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2012.1 online resource (XII, 427 p. 166 illus.)Theoretical Computer Science and General Issues,2512-2029 ;7562International conference proceedings.3-642-33653-1 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.Theoretical Computer Science and General Issues,2512-2029 ;7562Computer science—MathematicsDiscrete mathematicsSoftware engineeringArtificial intelligence—Data processingComputer scienceAlgorithmsMachine theoryDiscrete Mathematics in Computer ScienceSoftware EngineeringData ScienceComputer Science Logic and Foundations of ProgrammingAlgorithmsFormal Languages and Automata TheoryComputer 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.004.0151Ehrig Hartmutedthttp://id.loc.gov/vocabulary/relators/edtEngels Gregoredthttp://id.loc.gov/vocabulary/relators/edtKreowski Hans-Jörgedthttp://id.loc.gov/vocabulary/relators/edtRozenberg Grzegorzedthttp://id.loc.gov/vocabulary/relators/edtICGT (Conference)BOOK996465610903316Graph Transformation2896451UNISA