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
- 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
- Applying Software Model Checking Techniques for Behavioral UML Models
- Combining Graph Transformation and Algebraic Specification into Model Transformation
- 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
- Graph Transformation Semantics for a QVT Language
- 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
- Rete Network Slicing for Model Queries
- PTL: a model transformation language based on logic programming
- Lessons Learned from Building a Graph Transformation System
This page was built for software: VIATRA2
