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

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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Corradini, Andrea (Editor ), Ehrig, Hartmut (Editor ), Montanari, Ugo (Editor ), Ribeiro, Leila (Editor ), Rozenberg, Grzegorz (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
Edición:1st ed. 2006.
Colección:Theoretical Computer Science and General Issues, 4178
Temas:
Artificial intelligence-Data processing.
Software engineering.
Computer science.
Algorithms.
Computer science-Mathematics.
Discrete mathematics.
Data Science.
Software Engineering.
Theory of Computation.
Computer Science Logic and Foundations of Programming.
Discrete Mathematics in Computer Science.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares