Software specification, verification, and validation using a mathematically rigorous technique.
This course may not be repeated for credit.
Prerequisite(s)
- 3 units from Software Engineering 300, 301 or Software Engineering for Engineers 480.
Sections
| LEC 1 | TR 09:30 - 10:45
| | | | |
| TUT 1 | R 15:30 - 17:20
| | | | |