Pages that link to "Item:Q4931310"
From MaRDI portal
The following pages link to Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars (Q4931310):
Displaying 5 items.
- Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs (Q418014) (← links)
- Grammar-based model transformations: definition, execution, and quality properties (Q1749124) (← links)
- Rule-based transformation of graph rewriting rules: towards higher-order graph grammars (Q2355681) (← links)
- Incremental Concurrent Model Synchronization using Triple Graph Grammars (Q5039536) (← links)
- Formal analysis of model transformations based on triple graph grammars (Q5740377) (← links)