SWEN3185

Course Title: 
Formal Methods and Software Reliability
Credits: 
3
Educational Level: 
III
Semester offered: 
II
Core Course: 
yes
Syllabus: 

Role of Formal Specification and Analysis Techniques in the Software Development Cycle; Software Reliability Engineering Concepts and Practices; Software Reliability Models; Introduction to Mathematical Models and Specification Languages (Alloy, Z, VDM); Pre and Post Conditions, Invariants; Formal Approaches to Software Modeling and Analysis (Model Checkers, Model Finders); Tools in Support of Formal Methods.

 

Course Assessment: 
  • Final Written Examination (2 hours) 40%
  • Coursework: 60%
    • 2 Assignments                                  20%
    • 1 Project                                           40%
Course Prerequisites: 

COMP2201 - Discrete Mathematics for Computer Science.