The following pages link to VIATRA2 (Q16043):
Displaying 18 items.
- Towards the flexible reuse of model transformations: a formal approach based on graph transformation (Q465491) (← links)
- An accessible verification environment for UML models of services (Q617979) (← links)
- Framework and authoring tool for an extension of the UIML language (Q733277) (← links)
- Theorem proving graph grammars with attributes and negative application conditions (Q2358623) (← links)
- Multilevel coupled model transformations for precise and reusable definition of model behaviour (Q2423777) (← links)
- On the interoperability of model-to-model transformation languages (Q2462419) (← links)
- Rule-based modularization in model transformation languages illustrated with ATL (Q2462421) (← links)
- The model transformation language of the VIATRA2 framework (Q2462430) (← links)
- Combining Graph Transformation and Algebraic Specification into Model Transformation (Q2890331) (← links)
- Lessons Learned from Building a Graph Transformation System (Q3059715) (← 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)
- Model View Management with Triple Graph Transformation Systems (Q3541973) (← links)
- Interactive and automated proofs for graph transformations (Q4585009) (← links)
- Applying Software Model Checking Techniques for Behavioral UML Models (Q4647850) (← links)
- Graph Transformation Semantics for a QVT Language (Q5404176) (← links)
- PTL: a model transformation language based on logic programming (Q5963089) (← links)
