VIATRA2
From MaRDI portal
Software:16043
swMATH3511MaRDI QIDQ16043FDOQ16043
Author name not available (Why is that?)
Cited In (18)
- 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
- Rete network slicing for model queries
- An accessible verification environment for UML models of services
- What Is a Multi-modeling Language?
- 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
