Pages that link to "Item:Q2888500"
From MaRDI portal
The following pages link to Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation (Q2888500):
Displaying 6 items.
- A formal approach to the specification and transformation of constraints in MDE (Q444494) (← links)
- Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation (Q2888500) (← links)
- Controlling Reuse in Pattern-Based Model-to-Model Transformations (Q3059714) (← links)
- On the Specification and Verification of Model Transformations (Q3184747) (← links)
- Formal analysis of model transformations based on triple graph grammars (Q5740377) (← links)
- Finding the right way to Rome: effect-oriented graph transformation (Q6535506) (← links)