VIATRA2
From MaRDI portal
Cited in
(44)- GrGen
- AToMPM
- PROGRES
- HOL-Z
- SBQL
- Graph transformation benchmarks
- Fujaba
- RuleBasePE
- AGG
- MOFLON
- LMNtal
- VPM
- Rhapsody
- GROOVE
- VIDEAS
- Henshin
- Moflon
- AToM3
- ATL
- DiaGen
- Theorem proving graph grammars with attributes and negative application conditions
- Multilevel coupled model transformations for precise and reusable definition of model behaviour
- On the interoperability of model-to-model transformation languages
- Rule-based modularization in model transformation languages illustrated with ATL
- The model transformation language of the VIATRA2 framework
- FORMULA 2.0
- Drools
- GXL
- Combining graph transformation and algebraic specification into model transformation
- Lessons Learned from Building a Graph Transformation System
- What Is a Multi-modeling Language?
- Rete network slicing for model queries
- ACTLW
- GReAT
- A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation
- Model View Management with Triple Graph Transformation Systems
- Interactive and automated proofs for graph transformations
- Applying software model checking techniques for behavioral UML models
- Towards the flexible reuse of model transformations: a formal approach based on graph transformation
- Graph transformation semantics for a QVT language
- PTL: a model transformation language based on logic programming
- Melanee
- An accessible verification environment for UML models of services
- Framework and authoring tool for an extension of the UIML language
This page was built for software: VIATRA2
