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