CISC-422 : Formal Methods in Software Eng

• Average GPA: 3.49
• Average Enrollment: 117

Description

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.

Details

• Campus: Main
• Units: 3
• Department: School of Computing

---

Requirements

Prerequisite Level 4 and C- in CISC223 and registration in a School of Computing Plan.