activity
20152025
most citedIndustrial Experiences with a Formal DSL Semantics to Check Correctness of DSL Transformations

2 citations · 2 across the 3 of their papers we have counts for

collaborators
Showing 2016Show all

1 paper · 1 filter

cs.SE2016

Industrial Experiences with a Formal DSL Semantics to Check the Correctness of DSL Artifacts

Sarmen Keshishzadeh, Arjan J. Mooij, Jozef Hooman

A domain specific language (DSL) abstracts from implementation details and is aligned with the way domain experts reason about a software component. The development of DSLs is usua…