SWEN 224 – Formal Foundations of Programming
| Points: | 15 | Prerequisites: | COMP 103, SWEN 102, MATH 161 (or 114) |
|---|---|---|---|
| Faculty: | Engineering | Corequisites: | None |
| School: | Engineering & Comp Sci | Restrictions: | COMP 202, SWEN 202 |
This course introduces a selection of topics, focusing on the use of formal notations and formal models in the specification, design and analysis and engineering of programs, languages and machines. Topics covered will include finite state machines, formal languages and grammars, operational semantics, and specifying and analysing systems using software tools for formal specification.
Tuition Fees
2012:
domestic $829.50 
international $3,362.55
Tutorials
TBA
Trimester 2 2012
* indicates instructor is the course coordinator.
| CRN | From/To | Days | Time | Building [Campus] | Room | Instructor | 18321 | 16 Jul – 21 Oct 2012 | Mon, Thu, Fri | 1510 - 1600 | Hugh Mackenzie [Kelburn] | LT001 | Lindsay Groves* |
|---|