Software specification, verification, and validation using a mathematically rigorous technique.
This course may not be repeated for credit.
Prerequisite(s)
- One of Software Engineering 403[SENG403] or 411 or Computer Science 301[CPSC301] or 451.
Sections
| LEC 1 | TR 15:30 - 16:45
| | | | |
| TUT 1 | F 09:00 - 10:50
| | | | |
This course will be offered next in
Winter 2015.