Pages that link to "Item:Q3540398"
From MaRDI portal
The following pages link to Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation (Q3540398):
Displayed 7 items.
- Towards the flexible reuse of model transformations: a formal approach based on graph transformation (Q465491) (← links)
- Formalizing and testing the consistency of DSL transformations (Q736456) (← links)
- Automating the transformation-based analysis of visual languages (Q973037) (← links)
- Combining Graph Transformation and Algebraic Specification into Model Transformation (Q2890331) (← links)
- Characterizing Conflicts Between Rule Application and Rule Evolution in Graph Transformation Systems (Q2947220) (← links)
- Model Continuity in Discrete Event Simulation (Q5270739) (← links)
- Behavior-Preserving Simulation-to-Animation Model and Rule Transformations (Q5403459) (← links)