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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Ehrig, Hartmut (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Engels, Gregor (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Parisi-Presicce, Francesco (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Rozenberg, Grzegorz (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004.
• Έκδοση: 1st ed. 2004.
• Σειρά: Lecture Notes in Computer Science, 3256
• Θέματα: 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.

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

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