Pages that link to "Item:Q5404179"
From MaRDI portal
The following pages link to Towards Verifying Model Transformations (Q5404179):
Displaying 13 items.
- Correct transformation: from object-based graph grammars to PROMELA (Q436353) (← links)
- A formal verification technique for behavioural model-to-model transformations (Q682361) (← links)
- Variability-based model transformation: formal foundation and application (Q682373) (← links)
- Testing-based translation validation of generated code in the context of IEC 61508 (Q845246) (← links)
- A framework for model transformation verification (Q903517) (← links)
- Towards lightweight checks for mass maintenance transformations (Q2485275) (← links)
- Verification of system level model transformations (Q2506292) (← links)
- Using source transformation to test and model check implicit-invocation systems (Q2507781) (← links)
- On the Specification and Verification of Model Transformations (Q3184747) (← links)
- Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts (Q3540403) (← links)
- Behavior-Preserving Simulation-to-Animation Model and Rule Transformations (Q5403459) (← links)
- Formal Methods in Computer-Aided Design (Q5492978) (← links)
- Combining termination proofs in model transformation systems (Q5740376) (← links)