Pages that link to "Item:Q736456"
From MaRDI portal
The following pages link to Formalizing and testing the consistency of DSL transformations (Q736456):
Displaying 3 items.
- Static consistency checking of web applications with WebDSL (Q617983) (← links)
- Industrial application of formal models generated from domain specific languages (Q2026802) (← links)
- Research on metamodels consistency verification based on formalization of domain-specific metamodeling language (Q2440192) (← links)