Pages that link to "Item:Q3540416"
From MaRDI portal
The following pages link to Pattern-Based Model-to-Model Transformation (Q3540416):
Displayed 9 items.
- A formal approach to the specification and transformation of constraints in MDE (Q444494) (← links)
- Symbolic graphs for attributed graph constraints (Q631573) (← links)
- Automating the transformation-based analysis of visual languages (Q973037) (← links)
- Reasoning with graph constraints (Q973044) (← 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)
- Pattern-Based Model-to-Model Transformation (Q3540416) (← links)
- Formal analysis of model transformations based on triple graph grammars (Q5740377) (← links)