PROGRES

swMATH2905MaRDI QIDQ15443FDOQ15443

Author name not available (Why is that?)

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

Cited In (92)

• 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?)
• 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
• The model transformation language of the VIATRA2 framework
• Towards verifying model transformations
• Efficient graph rewriting and its implementation
• Concurrency and loose semantics of open graph transformation systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• GrGen
• JAVAVIS
• PLUMP
• GraphXML
• GenGED
• DIEGO
• DACTL
• Graph-based tools for re-engineering
• Fujaba
• Graph transformation benchmarks
• VIATRA2
• AGG
• MOFLON
• PORGY
• LMNtal
• VPM
• Augur 2
• CheckVML
• GROOVE
• AToM3
• vUML
• Jerboa
• Kermeta
• Moflon
• SelfSync
• DiaGen
• Hy+
• GXL
• Graph Transformation by Computational Category Theory
• GRAS
• REforDI
• MetaEnv
• Hierarchical graph transformation
• MOSBIE
• Title not available (Why is that?)
• Declarative term graph attribution for program generation
• GP 2
• Amalgamation of domain specific languages with behaviour
• ENFORCe
• 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
• Grez
• 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
• Title not available (Why is that?)
• Preserving consistency in geometric modeling with graph transformations
• CatLib
• DPOdactic
• GraJ
• Podmineny
• SiTra
• VxToolbox
• VisiGraphJS
• Parameterized transformation units
• Title not available (Why is that?)
• Programmed graph transformations and graph transformation units in GRACE
• Relating functional requirements and software architecture: separation and consistency of concerns
• A flexible and easy-to-use library for the rapid development of graph tools in Java
• Temporal Graph Queries to Support Software Evolution
• Journal on Data Semantics IV
• DrAGoM
• Title not available (Why is that?)

This page was built for software: PROGRES