SWEN-421 – Formal Software Engineering
|Points:||15||Prerequisites:||SWEN 224, 30 200-level pts from COMP, SWEN|
|School:||Engineering & Comp Sci||Restrictions:||COMP 426|
This course addresses the use of mathematical logic in the specification and construction for software systems. It presents an introduction to the area of formal methods; the formal specification of software systems; the refinement of specifications to code; and their semantic foundations.
Trimester 1 2013
* indicates instructor is the course coordinator.
|CRN||From/To||Days||Time||Building [Campus]||Room||Instructor||18661||4 Mar – 9 Jun 2013||Tue, Wed, Thu||0900 - 0950||Von Zedlitz [Kelburn]||101|