SWEN-421 – Formal Software Engineering
| Points: | 15 | Prerequisites: | SWEN 224, 30 200-level pts from COMP, SWEN |
|---|---|---|---|
| Faculty: | Engineering | Corequisites: | None |
| 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.
Tuition Fees
2013: domestic $863.25 
international $3,493.80
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 |
|---|