Software specification, verification, and validation using a mathematically rigorous technique.
This course may not be repeated for credit.
Prerequisite(s)
- Software Engineering 300 or 301 or Software Engineering for Engineers 480.
Sections
| LEC 1 | MWF 10:00 - 10:50
| | | | |
| TUT 1 | M 15:00 - 16:50
| | | | |
This course will be offered next in
Fall 2020.