Graph Transformations Third International Conference, ICGT 2006 Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Corradini, Andrea (Επιμελητής έκδοσης), Ehrig, Hartmut (Επιμελητής έκδοσης), Montanari, Ugo (Επιμελητής έκδοσης), Ribeiro, Leila (Επιμελητής έκδοσης), Rozenberg, Grzegorz (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
• Σειρά: Lecture Notes in Computer Science, 4178
• Θέματα: Computer science.; Software engineering.; Data structures (Computer science).; Computers.; Algorithms.; Computer logic.; Computer science > Mathematics.; Computer Science.; Data Structures.; Software Engineering.; Computation by Abstract Devices.; Algorithm Analysis and Problem Complexity.; Logics and Meanings of Programs.; Discrete Mathematics in Computer Science.

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 wi...

Πίνακας περιεχομένων:

• Invited Papers
• Nested Quantification in Graph Transformation Rules
• Idioms of Logical Modelling
• New Algorithms and Applications of Cyclic Reference Counting
• New Graph Transformation Models
• Sesqui-Pushout Rewriting
• Automata on Directed Graphs: Edge Versus Vertex Marking
• Conflict Detection for Graph Transformation with Negative Application Conditions
• Adaptive Star Grammars
• Structure Manipulation
• Narrowing Data-Structures with Pointers
• Molecular Analysis of Metabolic Pathway with Graph Transformation
• Matrix Approach to Graph Transformation: Matching and Sequences
• String Generating Hypergraph Grammars with Word Order Restrictions
• Borrowed Contexts and Adhesive Categories
• Composition and Decomposition of DPO Transformations with Borrowed Context
• Process Bisimulation Via a Graphical Encoding
• Toposes Are Adhesive
• Extensions for Distributed and Global Computing
• Graph Transactions as Processes
• Categorical Foundations of Distributed Graph Transformation
• Dynamic Graph Transformation Systems
• Autonomous Units and Their Semantics — The Sequential Case
• Software Engineering Methods and Tools
• Termination Analysis of Model Transformations by Petri Nets
• Non-functional Analysis of Distributed Systems in Unreliable Environments Using Stochastic Object Based Graph Grammars
• Temporal Graph Queries to Support Software Evolution
• On the Use of Alloy to Analyze Graph Transformation Systems
• Model-Driven Development
• Non-materialized Model View Specification with Triple Graph Grammars
• Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract
• Model View Management with Triple Graph Transformation Systems
• Efficient Implementation
• Graph Transformation in Constant Time
• GrGen: A Fast SPO-Based Graph Rewriting Tool
• Realizing Graph Transformations by Pre- and Postconditions and Command Sequences
• Heuristic Search for the Analysis of Graph Transition Systems
• Logics
• Satisfiability of High-Level Conditions
• Weakest Preconditions for High-Level Programs
• Tutorial and Workshops
• Introductory Tutorial on Foundations and Applications of Graph Transformation
• Workshop on Graph Computation Models
• Workshop on Graph-Based Tools
• Workshop on Petri Nets and Graph Transformations
• 3rd International Workshop on Software Evolution Through Transformations: Embracing Change.