Academic Calendar 2021-2022

Search Results

CISC 422 Formal Methods in Software Engineering

CISC 422  Formal Methods in Software Engineering  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: Prerequisite Registration in a School of Computing Plan and a minimum grade of a C- (obtained in any term) or a 'Pass' (obtained in Winter 2020) in CISC 223.  
Offering Faculty: Faculty of Arts and Science  

Biomedical and Molecular Sciences

...CISC 875). Not offered 2021-22. EXCLUSION: CISC...Given concurrently with LISC 422 , with additional assignments...