Academic Calendar 2022-2023

Search Results

CMPE 422 Formal Methods In Software Eng

CMPE 422  Formal Methods In Software Eng  Units: 3.00  

Mathematical methods for describing software behaviour and structure. Topics include (but are not limited to) the following: requirements specification; Module specification: axiomatic, algebraic, and trace specification; program specification: abstract models; verification; specification-based validation.
(Lec: 3, Lab: 0, Tut: 0)

Requirements: Prerequisites: CMPE 204 (CISC 204), CMPE 223 (CISC 223) Corequisites: Exclusions:   
Offering Term: F  
CEAB Units:    
Mathematics 14  
Natural Sciences 0  
Complementary Studies 0  
Engineering Science 12  
Engineering Design 10  
Offering Faculty: Faculty of Arts and Science