Browsing Mathematics (Faculty of) by Subject "software modeling"
Now showing items 1-1 of 1
-
Profiling Alloy Models
(University of Waterloo, 2021-09-03)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 ...