Pages that link to "Item:Q5710414"
From MaRDI portal
The following pages link to Formal Methods in Software and Systems Modeling (Q5710414):
Displayed 10 items.
- Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs (Q418014) (← links)
- A formal approach to the specification and transformation of constraints in MDE (Q444494) (← links)
- On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems (Q2011208) (← links)
- Specifying graph languages with type graphs (Q2423749) (← links)
- Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations (Q2947219) (← links)
- Attributed Graph Constraints (Q3540405) (← links)
- Resolution-Like Theorem Proving for High-Level Conditions (Q3540406) (← links)
- Development of Correct Graph Transformation Systems (Q3540429) (← links)
- Conditional Bigraphs (Q5100722) (← links)
- A Logic of Graph Constraints (Q5460000) (← links)