Browsing Mathematics (Faculty of) by Author "Eid, Elias"
Now showing items 1-2 of 2
-
Profiling Alloy Models
Eid, Elias (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 ... -
Static Profiling of Alloy Models
Eid, Elias; Day, Nancy A. (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 ...