Browsing Waterloo Research by Author "Liang, Andrew"
Now showing items 1-1 of 1
-
ALDB: Debugging Alloy Models of Behavioural Requirements
Dureja, Aman; Keerthi, Aditya; Liang, Andrew; Zhang, Paul; Day, Nancy A. (IEEE, 2020-08)Declarative modelling languages, such as Alloy, are becoming popular for describing behavioural requirements very early in system development because automated analysis of these models provides valuable feedback. Typically, ...