Pages that link to "Item:Q2864376"
From MaRDI portal
The following pages link to A diagrammatic logic for object-oriented visual modeling (Q2864376):
Displaying 15 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)
- The graph-based logic of visual modeling and taming heterogeneity of semantic models (Q2737490) (← links)
- An object-oriented design for graph visualization (Q2745262) (← links)
- (Q2753895) (← links)
- Diagrammatic Reasoning with Classes and Relationships (Q2948607) (← links)
- A new approach to the semantics of model diagrams (Q2957695) (← links)
- Model Transformation and Induced Instance Migration: A Universal Framework (Q3098049) (← links)
- Toward reasoning with unified modeling language diagrams based on extensible markup language declarative description theory (Q3156869) (← links)
- (Q4234042) (← links)
- Van Kampen Colimits and Path Uniqueness (Q4643957) (← links)
- A reasoning system for satisfiability of diagrammatic specifications (Q6599622) (← links)