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)
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