Pages that link to "Item:Q2462430"
From MaRDI portal
The following pages link to The model transformation language of the VIATRA2 framework (Q2462430):
Displaying 9 items.
- A formal approach to the specification and transformation of constraints in MDE (Q444494) (← links)
- Rule-based modularization in model transformation languages illustrated with ATL (Q2462421) (← links)
- Combining Graph Transformation and Algebraic Specification into Model Transformation (Q2890331) (← links)
- What Is a Multi-modeling Language? (Q3184725) (← links)
- Rete Network Slicing for Model Queries (Q3187807) (← links)
- A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation (Q3540414) (← links)
- Interactive and automated proofs for graph transformations (Q4585009) (← links)
- Graph Transformation Semantics for a QVT Language (Q5404176) (← links)
- PTL: a model transformation language based on logic programming (Q5963089) (← links)