Graph Transformations Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 1, 2004, Proceedings /

Graph Transformations Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 1, 2004, Proceedings /

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Ehrig, Hartmut (Editor, http://id.loc.gov/vocabulary/relators/edt), Engels, Gregor (Editor, http://id.loc.gov/vocabulary/relators/edt), Parisi-Presicce, Francesco (Editor, http://id.loc.gov/vocabulary/relators/edt), Rozenberg, Grzegorz (Editor, http://id.loc.gov/vocabulary/relators/edt)
Format: Electronic eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004.
Edition:1st ed. 2004.
Series:Lecture Notes in Computer Science, 3256
Subjects:
Discrete mathematics.
Mathematics.
Data structures (Computer science).
Software engineering.
Computers.
Algorithms.
Discrete Mathematics.
Mathematics, general.
Data Structures.
Software Engineering.
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Online Access:Full Text via HEAL-Link
Table of Contents:
  • Invited Papers
  • Improving Flow in Software Development Through Graphical Representations
  • A Perspective on Graphs and Access Control Models
  • Transformation Language Design: A Metamodelling Foundation
  • Integration Technology
  • Rule Execution in Graph-Based Incremental Interactive Integration Tools
  • Composition of Relations in Enterprise Architecture Models
  • Event-Driven Grammars: Towards the Integration of Meta-modelling and Graph Transformation
  • Chemistry and Biology
  • Analysis of Metabolic Pathways by Graph Transformation
  • The Potential of a Chemical Graph Transformation System
  • Graph Transformation Concepts
  • Concepts for Specifying Complex Graph Transformation Systems
  • Typing of Graph Transformation Units
  • Towards Graph Programs for Graph Algorithms
  • DPO Theory for High-Level Structures
  • Adhesive High-Level Replacement Categories and Systems
  • Fundamental Theory for Typed Attributed Graph Transformation
  • Parallel Independence in Hierarchical Graph Transformation
  • Analysis and Testing
  • Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems
  • Stochastic Graph Transformation Systems
  • Model Checking Graph Transformations: A Comparison of Two Approaches
  • Graph Theory and Algorithms
  • Election, Naming and Cellular Edge Local Computations
  • Embedding in Switching Classes with Skew Gains
  • Synchronizers for Local Computations
  • Application Conditions and Logic
  • Constraints and Application Conditions: From Graphs to High-Level Structures
  • Specification Matching of Web Services Using Conditional Graph Transformation Rules
  • Representing First-Order Logic Using Graphs
  • Transformation of Special Structures
  • Coproduct Transformations on Lattices of Closed Partial Orders
  • Parsing String Generating Hypergraph Grammars
  • Composition of Path Transductions
  • Object-Orientation
  • Translating Java Code to Graph Transformation Systems
  • Extending Graph Rewriting for Refactoring
  • Derivations in Object-Oriented Graph Grammars
  • Tutorials and Workshops
  • Tutorial Introduction to Graph Transformation: A Software Engineering Perspective
  • Tutorial on DNA Computing and Graph Transformation
  • Workshop TERMGRAPH 2004
  • Workshop on Graph-Based Tools
  • Workshop on Petri Nets and Graph Transformations
  • Workshop on Software Evolution Through Transformations: Model-Based vs. Implementation-Level Solutions
  • Workshop on Logic, Graph Transformations, Finite and Infinite Structures.

Similar Items