Browsing Waterloo Research by Author "Esmaeilsabzali, Shahram"
Now showing items 1-1 of 1
DASH: Declarative Modelling with Control State Hierarchy (Preliminary Version) Serna, Jose; Day, Nancy A.; Esmaeilsabzali, Shahram (University of Waterloo, 2018)We present a new language, called DASH, for describing formal behavioural models. DASH combines common modelling constructs to describe abstractly both data and control in an integrated manner. DASH uses the Alloy language ...