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 specifications. Abstract models. Verification. Specification-based validation.

Requirements: PREREQ: CMPE 204 (CISC 204), CMPE 223 (CISC 223) and registered in BSCE or BASC.  
Offering Faculty: Faculty of Arts and Science