PROGRES

swMATH2905MaRDI QIDQ15443FDOQ15443

Author name not available (Why is that?)

Cited In (50)

• GXL: a graph-based standard exchange format for reengineering
• A calculus of concurrent graph-rewriting processes
• A Flexible and Easy-to-Use Library for the Rapid Development of Graph Tools in Java
• Title not available (Why is that?)
• Title not available (Why is that?)
• A visual environment for visual languages
• Designing the automatic transformation of visual languages
• Preserving consistency in geometric modeling with graph transformations
• Graph transformation for specification and programming
• Parallel Independence of Amalgamated Graph Transformations Applied to Model Transformation
• Models and tools for managing development processes.
• Title not available (Why is that?)
• Graph transformations in computer science. International Workshop, Dagstuhl Castle, Germany, January 4--8, 1993. Proceedings
• GrGen: A Fast SPO-Based Graph Rewriting Tool
• A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation
• The model transformation language of the VIATRA2 framework
• Title not available (Why is that?)
• Programmed graph transformations and graph transformation units in GRACE
• Efficient graph rewriting and its implementation
• Concurrency and loose semantics of open graph transformation systems
• Relating functional requirements and software architecture: separation and consistency of concerns
• Rewriting Strategies and Strategic Rewrite Programs
• Title not available (Why is that?)
• Title not available (Why is that?)
• A Strategy Language for Graph Rewriting
• Title not available (Why is that?)
• Graph-based tools for re-engineering
• Graph Transformation by Computational Category Theory
• Temporal Graph Queries to Support Software Evolution
• Hierarchical graph transformation
• Title not available (Why is that?)
• Declarative term graph attribution for program generation
• Journal on Data Semantics IV
• An Abstract Module Concept for Graph Transformation Systems
• Amalgamation of domain specific languages with behaviour
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Graph Transformations
• Attributed graph transformation with node type inheritance
• Title not available (Why is that?)
• Adaptive star grammars and their languages
• Parameterized Transformation Units
• Lessons Learned from Building a Graph Transformation System
• Modeling pointer redirection as cyclic term-graph rewriting
• Title not available (Why is that?)
• Labelled port graph -- a formal structure for models and computations
• The York Abstract Machine
• Formal software specification with refinements and modules of typed graph transformation systems
• Towards Verifying Model Transformations

This page was built for software: PROGRES