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. (14/0/0/12/10) PREREQUISITES: CMPE 204 (CISC 204), CMPE 223 (CISC 223), SOFT 327
