Browsing Mathematics (Faculty of) by Author "Bandali, Amin"
Now showing items 1-2 of 2
-
A Comparison of the Declarative Modelling Languages B, Dash, and TLA+
Abbassi, Ali; Bandali, Amin; Day, Nancy; Serna, Jose (IEEE, 2019-08)Declarative behavioural modelling is a powerful modelling paradigm that enables users to model system func- tionality abstractly and concisely. We compare two well-used formal declarative modelling languages, B and TLA+, ... -
A Comprehensive Study of Declarative Modelling Languages
Bandali, Amin (University of Waterloo, 2020-07-14)Declarative behavioural modelling is a powerful modelling paradigm that enables users to model system functionality abstractly and formally. An abstract model is a concise and compact representation of key characteristics ...