| Graph Transformations: Third International Conference, ICGT 2006 Natal, Rio Grande de Norte, Brazil September 17-23, 2006 Proceedings 2006 Edition Contributor(s): Corradini, Andrea (Editor), Ehrig, Hartmut (Editor), Montanari, Ugo (Editor) |
|
 |
ISBN: 3540388702 ISBN-13: 9783540388708 Publisher: Springer OUR PRICE: $52.24 Product Type: Paperback - Other Formats Published: September 2006 Annotation: This book constitutes the refereed proceedings of the Third International Conference on Graph Transformations, ICGT 2006, held in Rio Grande do Norte, Brazil in September 2006. The 28 revised full papers presented together with 3 invited lectures were carefully selected from 62 submissions. All current aspects in graph drawing are addressed including graph theory and graph algorithms, theoretic and semantic aspects, modeling, contributions to software engineering and global computing, applications to biology, and tool issues. The papers are organized in topical sections on new graph transformation models, structure manipulation, borrowed contexts and adhesive categories, extensions for distributed and global computing, software engineering methods and tools, model-driven development, efficient implementation, and logics. In addition the volume contains a short description of a tutorial on foundations and applications of graph transformations, and short presentations of the satellite events of ICGT 2006. |
| Additional Information |
| BISAC Categories: - Computers | Computer Science - Computers | Software Development & Engineering - General - Computers | Logic Design |
| Dewey: 004 |
| Series: Lecture Notes in Computer Science |
| Physical Information: 1.1" H x 6.19" W x 9.31" (1.57 lbs) 473 pages |
| Descriptions, Reviews, Etc. |
| Publisher Description: ICGT 2006 was the 3rd International Conference on Graph Transformation, following the previous two in Barcelona (2002) and Rome (2004), and a series of six international workshops between 1978 and 1998. ICGT 2006 was held in Natal (Rio Grande do Norte, Brazil) on September 17-23, 2006, co-located with the Brazilian Symposium on Formal Methods (SBMF 2006), under the auspices of the BrazilianComputer Society (SBC), the EuropeanAssociation of Software Science and Technology (EASST), the European Association for Theoretical Computer Science (EATCS) and the IFIP WG 1.3 on Foundations of Systems Speci?cation. The conference obtained partial support from Formal Methods Europe and IFIP TC 1 on Foundations of Computer Science. The scope of the conference concerned graphical structures of various kinds (like graphs, diagrams and visual sentences) that are useful when describing complex structures and systems in a direct and intuitive way. These structures are often enriched with formalisms that model their evolution via suitable kinds of transformations. The ?eld of the conference was concerned with the theory, applications, and implementation issues of such formalisms. Particularemphasis wasputonmetamodelswhichcanaccommodateavarietyofgraphicalstructures within the same abstract theory. |