Browsing University of Waterloo by Subject "declarative modelling languages"
Now showing items 1-1 of 1
-
A Comprehensive Study of Declarative Modelling Languages
(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 ...