Browsing University of Waterloo by Subject "declarative modeling"
Now showing items 1-1 of 1
-
Static Profiling of Alloy Models
(IEEE, 2023-02)Modeling of software-intensive systems using formal declarative modeling languages offers a means of managing software complexity through the use of abstraction and early identification of correctness issues by formal ...