SWE 6883:Formal Methods in Software Engineering

3 Class Hours 0 Laboratory Hours 3 Credit Hours
Prerequisite: SWE 6623 , SWE 6613 , and CS 5070
The course is concerned with formal representation of the specification of software. Formal mechanisms for specifying, validating, and verifying software systems will be introduced to check for completeness and correctness as well as to discover ambiguities in the specifications. Both Propositional and Predicate Calculus will be reviewed and utilized to represent and reason about software specifications. Proof techniques and formal specification languages Z and the Object Constraint Language (OCL) will be explored.