Pages that link to "Item:Q2864376"
From MaRDI portal
The following pages link to A Diagrammatic Logic for Object-Oriented Visual Modeling (Q2864376):
Displaying 6 items.
- A formal approach to the specification and transformation of constraints in MDE (Q444494) (← links)
- A formalisation of the copy-modify-merge approach to version control in MDE (Q710677) (← links)
- A formalisation of deep metamodelling (Q736852) (← links)
- Comprehensive systems: a formal foundation for multi-model consistency management (Q2065549) (← links)
- Fibred amalgamation, descent data, and Van Kampen squares in topoi (Q2350322) (← links)
- Model Transformation and Induced Instance Migration: A Universal Framework (Q3098049) (← links)
