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