PROGRES

swMATH2905MaRDI QIDQ15443FDOQ15443

Author name not available (Why is that?)

Official website: http://de.wikipedia.org/wiki/Progres

Cited In (59)

• Preserving consistency in geometric modeling with graph transformations
• A flexible and easy-to-use library for the rapid development of graph tools in Java
• Journal on Data Semantics IV
• An abstract module concept for graph transformation systems
• GXL: a graph-based standard exchange format for reengineering
• A calculus of concurrent graph-rewriting processes
• 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
• Graph transformation for specification and programming
• Models and tools for managing development processes.
• Rewriting strategies and strategic rewrite programs
• 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
• Parameterized transformation units
• The model transformation language of the VIATRA2 framework
• Title not available (Why is that?)
• Towards verifying model transformations
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• GenGED
• Graph-based tools for re-engineering
• Fujaba
• Graph transformation benchmarks
• AGG
• AToM3
• Moflon
• Graph Transformation by Computational Category Theory
• Temporal Graph Queries to Support Software Evolution
• GRAS
• REforDI
• MetaEnv
• Hierarchical graph transformation
• Title not available (Why is that?)
• Declarative term graph attribution for program generation
• 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
• Parallel independence of amalgamated graph transformations applied to model transformation
• A strategy language for graph rewriting
• 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

This page was built for software: PROGRES