Pages that link to "Item:Q911753"
From MaRDI portal
The following pages link to A reification calculus for model-oriented software specification (Q911753):
Displaying 7 items.
- An NSF proposal (Q815007) (← links)
- Algebraic specification of documents (Q1129133) (← links)
- Meta-modelling for formal software development (Q2703740) (← links)
- Strongly typed rewriting for coupled software transformation (Q2864515) (← links)
- Domain-specific semantics and data refinement of object models (Q2873615) (← links)
- Constraint-aware Schema Transformation (Q5166635) (← links)
- FM 2005: Formal Methods (Q5716892) (← links)