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.
Schedule and Instructors
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 |