The following pages link to An algebraic semantics for MOF (Q973052):
Displaying 10 items.
- The rewriting logic semantics project: a progress report (Q393080) (← links)
- A formal approach to the specification and transformation of constraints in MDE (Q444494) (← links)
- Language support for model-driven software development (Q952753) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Research on metamodels consistency verification based on formalization of domain-specific metamodeling language (Q2440192) (← links)
- An algebraic semantics for QVT-relations check-only transformations (Q2882461) (← links)
- Combining Graph Transformation and Algebraic Specification into Model Transformation (Q2890331) (← links)
- A Module System for Domain-Specific Languages (Q2931279) (← links)
- Two Decades of Maude (Q2945709) (← links)
- The Rewriting Logic Semantics Project: A Progress Report (Q3088267) (← links)
