Browsing University of Waterloo by Author "Luo, Zhaoyi"
Now showing items 1-2 of 2
-
BSML-mbeddr: Integrating Semantically Congurable State-Machine Models in a C Programming Environment
Luo, Zhaoyi; Atlee, Joanne M. (ACM, 2016-11)In model-driven engineering, developers express their solutions in domain-specific modelling languages (DSLs) that support domain-specific abstractions. Big-Step Modelling Languages (BSML) is a family of extended state-machine ... -
Integrating Semantically Configurable State-machine Models in a C Programming Environment
Luo, Zhaoyi (University of Waterloo, 2015-10-02)Model-driven engineering is a popular software-development methodology, which requires suitable domain-specific modelling languages (DSLs) to create models. A DSL requires flexible semantics depending on the domain knowledge. ...