Role of Formal Specification and Analysis Techniques in the Software Development Cycle; Software Reliability Engineering Concepts and Practices; Software Reliability Models; Introduction to Mathematical Models and Specification Languages (Alloy, Z, VDM); Pre and Post Conditions, Invariants; Formal Approaches to Software Modeling and Analysis (Model Checkers, Model Finders); Tools in Support of Formal Methods.
COMP2201 - Discrete Mathematics for Computer Science.
Our 7 faculties and 12 professional schools offer more than 200 programmes to some 18,000 graduate, undergraduate and continuing studies students.
The UWI, Mona ranks first in Jamaica among accredited tertiary-level programmes. In 2012, the University was again one of Jamaica’s Top 100 Employers.
