Formal model-driven executable DSLs.

Published in: Innov. Syst. Softw. Eng. (2022)

Keyphrases

model driven
formal specification
data driven
service oriented
metamodel
data integration
model driven development
platform independent
development environments
reverse engineering
model driven engineering
formal model
expert systems
service oriented architecture
mashup
formal methods