The following pages link to Xtext (Q28125):
Displaying 6 items.
- Formalizing and testing the consistency of DSL transformations (Q736456) (← links)
- Interactive verification of architectural design patterns in FACTum (Q2335950) (← links)
- (Q2960352) (← links)
- (Q2974797) (← links)
- A Domain-Specific Language and Editor for Parallel Particle Methods (Q4611302) (← links)
- Programming and Verifying Component Ensembles (Q5170744) (← links)