Browsing Theses by Author "Bandali, Amin"
Now showing items 1-1 of 1
-
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 ...