Runtime Monitoring for Executable DSLs

January 2020
PDF Cite DOI
Type
2
Publication
The Journal of Object Technology
"Domain-Specific Languages" "Runtime Monitoring" "Executable DSLs" "Temporal Property Language" "Executable Modeling"