Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Path-Controlled Graph Grammars for Mutliresolution Image Processing and Analysis
Proceedings of the International Workshop on Graph Transformations in Computer Science
How to Uniformly Specify Program Analysis and Transformation with Graph Rewrite Systems
CC '96 Proceedings of the 6th International Conference on Compiler Construction
Introduction to the Algebraic Theory of Graph Grammars (A Survey)
Proceedings of the International Workshop on Graph-Grammars and Their Application to Computer Science and Biology
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Relabelling in Graph Transformation
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)
Graph-grammars: An algebraic approach
SWAT '73 Proceedings of the 14th Annual Symposium on Switching and Automata Theory (swat 1973)
Towards Attributed Graphs in Groove
Electronic Notes in Theoretical Computer Science (ENTCS)
Overview of Formal Concepts for Model Transformations Based on Typed Attributed Graph Transformation
Electronic Notes in Theoretical Computer Science (ENTCS)
Trust in MDE components: the DOMINO experiment
Proceedings of the International Workshop on Security and Dependability for Resource Constrained Embedded Systems
Computations in graph rewriting: inductive types and pullbacks in DPO approach
CEE-SET'09 Proceedings of the 4th IFIP TC 2 Central and East European conference on Advances in Software Engineering Techniques
A general attribution concept for models in M-adhesive transformation systems
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
Software and Systems Modeling (SoSyM)
| Hi-index | 0.01 |
Attributed graphs are often used in software engineering. Mainly algorithms concerning programs and models transformations are based on rewriting techniques.We suggest a unified categorical approach for the description and the verification of such algorithms and programs. This contribution which is a generalization of the double pushout approach can be seen as a mix between pushout and pullback. This will facilitate the computations on attributes within a unified framework. It should be particularly helpful for model to model transformation in the domain of "Model Driven Architecture".