Formal specifications in software development; logical formalisms; functional and relational specifications; completeness and consistency of specifications; verification; validation; presentation of information; tool supported verification. Three lectures; first term Prerequisite(s): COMP SCI 2ME3 Antirequisite(s): SFWR ENG 3A04
