Course Websites
ECE 478 - Formal Software Development Methods
Last offered Spring 2025
Official Description
Course Information: Same as CS 477. See CS 477.
Related Faculty
Subject Area
- Computer Engineering
Description
Mathematical models, languages and methods for software specification, development and verification.
Notes
Same as CS 477.
Detailed Description and Outline
Same as CS 477.
Title | Section | CRN | Type | Hours | Times | Days | Location | Instructor |
---|---|---|---|---|---|---|---|---|
Formal Software Devel Methods | B3 | 39766 | LCD | 3 | 1230 - 1345 | T R | 1310 Digital Computer Laboratory | Gagandeep Singh |
Formal Software Devel Methods | B4 | 39767 | LCD | 3 | 1230 - 1345 | T R | 1310 Digital Computer Laboratory | Gagandeep Singh |