![Graph Transformations [electronic resource] : Second International Conference, ICGT 2004, Rome, Italy, September 28–October 1, 2004. Proceedings /](/search/themes/bootstrap3/images/libros.png)
Graph Transformations [electronic resource] : Second International Conference, ICGT 2004, Rome, Italy, September 28–October 1, 2004. Proceedings /
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.
| Main Authors: | , , , , |
|---|---|
| Format: | Texto biblioteca |
| Language: | eng |
| Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg,
2004
|
| Subjects: | Mathematics., Software engineering., Data structures (Computer science)., Computers., Algorithms., Discrete mathematics., Discrete Mathematics., Mathematics, general., Data Structures., Software Engineering., Computation by Abstract Devices., Algorithm Analysis and Problem Complexity., |
| Online Access: | http://dx.doi.org/10.1007/b100934 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Summary: | 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. |
|---|