SWEN 421 – Formal Software Engineering 1
| Points: | 15 | Prerequisites: | SWEN 224, 30 pts from COMP/SWEN 301-399 |
|---|---|---|---|
| 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
2012:
domestic $829.50 
international $3,362.55
Trimester 1 2012
* indicates instructor is the course coordinator.
| CRN | From/To | Days | Time | Building [Campus] | Room | Instructor | 18661 | 5 Mar – 10 Jun 2012 | Tue, Wed, Fri | 1410 - 1500 | Old Kirk [Kelburn] | 524 | Lindsay Groves* |
|---|