Graph transformations : second international conference, ICGT 2004, Rome, Italy, September 28-October 2, 2004 : proceedings
محفوظ في:
| المؤلف الرئيسي: | |
|---|---|
| مؤلف مشترك: | |
| مؤلفون آخرون: | , |
| التنسيق: | Livre numérique |
| اللغة: | Anglais |
| منشور في: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| سلاسل: | Lecture notes in computer science
3256 |
| الموضوعات: | |
| الوصول للمادة أونلاين: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| ملاحظة: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Graph transformations, second international conference, ICGT 2004, Rome, Italy, September 28-October 2, 2004, proceedings, Hartmut Ehrig ... [et al.] (eds.), Berlin, Springer, 2004, 1 vol. (XII-450 p.), Lecture notes in computer science, 3-540-23207-9 • Graph Transformations, Texte imprimé, 9783662181645 |
جدول المحتويات:
- 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.