PROGRES
From MaRDI portal
Cited in
(92)- GrGen
- Graph transformations in computer science. International Workshop, Dagstuhl Castle, Germany, January 4--8, 1993. Proceedings
- JAVAVIS
- PLUMP
- GraphXML
- GenGED
- DIEGO
- DACTL
- VIATRA2
- Formal software specification with refinements and modules of typed graph transformation systems
- Hierarchical graph transformation
- Graph transformation benchmarks
- Fujaba
- AGG
- Graph transformation for specification and programming
- Models and tools for managing development processes.
- Efficient graph rewriting and its implementation
- MOFLON
- PORGY
- LMNtal
- VPM
- Augur 2
- vUML
- CheckVML
- GROOVE
- Jerboa
- SelfSync
- Kermeta
- Moflon
- AToM3
- DiaGen
- A calculus of concurrent graph-rewriting processes
- Labelled port graph -- a formal structure for models and computations
- The model transformation language of the VIATRA2 framework
- GXL: a graph-based standard exchange format for reengineering
- Hy+
- Declarative term graph attribution for program generation
- scientific article; zbMATH DE number 1629841 (Why is no real title available?)
- scientific article; zbMATH DE number 1629844 (Why is no real title available?)
- scientific article; zbMATH DE number 1629845 (Why is no real title available?)
- scientific article; zbMATH DE number 1670819 (Why is no real title available?)
- scientific article; zbMATH DE number 1693516 (Why is no real title available?)
- scientific article; zbMATH DE number 1701353 (Why is no real title available?)
- GXL
- Modeling pointer redirection as cyclic term-graph rewriting
- Rewriting strategies and strategic rewrite programs
- Graph Transformation by Computational Category Theory
- Parallel independence of amalgamated graph transformations applied to model transformation
- Lessons Learned from Building a Graph Transformation System
- GRAS
- REforDI
- MetaEnv
- Amalgamation of domain specific languages with behaviour
- A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation
- Temporal Graph Queries to Support Software Evolution
- GrGen: A Fast SPO-Based Graph Rewriting Tool
- scientific article; zbMATH DE number 1946722 (Why is no real title available?)
- scientific article; zbMATH DE number 2016088 (Why is no real title available?)
- scientific article; zbMATH DE number 2016090 (Why is no real title available?)
- scientific article; zbMATH DE number 2016094 (Why is no real title available?)
- scientific article; zbMATH DE number 2079639 (Why is no real title available?)
- MOSBIE
- Programmed graph transformations and graph transformation units in GRACE
- scientific article; zbMATH DE number 2085180 (Why is no real title available?)
- Graph-based tools for re-engineering
- Concurrency and loose semantics of open graph transformation systems
- Relating functional requirements and software architecture: separation and consistency of concerns
- scientific article; zbMATH DE number 2097775 (Why is no real title available?)
- A strategy language for graph rewriting
- Parameterized transformation units
- An abstract module concept for graph transformation systems
- Preserving consistency in geometric modeling with graph transformations
- A flexible and easy-to-use library for the rapid development of graph tools in Java
- GP 2
- Graph Transformations
- Towards verifying model transformations
- The York Abstract Machine
- Journal on Data Semantics IV
- DrAGoM
- VxToolbox
- SiTra
- GraJ
- VisiGraphJS
- Grez
- ENFORCe
- Podmineny
- CatLib
- DPOdactic
- A visual environment for visual languages
- Designing the automatic transformation of visual languages
- Attributed graph transformation with node type inheritance
- Adaptive star grammars and their languages
This page was built for software: PROGRES
