ECE 478
ECE 478 - Formal Software Development Methods
Fall 2026
| Title | Rubric | Section | CRN | Type | Hours | Times | Days | Location | Instructor |
|---|---|---|---|---|---|---|---|---|---|
| Formal Software Devel Methods | CS477 | G | 64566 | LCD | 4 | 1100 - 1215 | T R | 3018 Campus Instructional Facility | Madhusudan Parthasarathy |
| Formal Software Devel Methods | CS477 | U | 64565 | LCD | 3 | 1100 - 1215 | T R | 3018 Campus Instructional Facility | Madhusudan Parthasarathy |
| Formal Software Devel Methods | ECE478 | G | 66707 | LCD | 4 | 1100 - 1215 | T R | 3018 Campus Instructional Facility | Madhusudan Parthasarathy |
| Formal Software Devel Methods | ECE478 | U | 66706 | LCD | 3 | 1100 - 1215 | T R | 3018 Campus Instructional Facility | Madhusudan Parthasarathy |
See full schedule from Course Explorer
Official Description
Course Information: Same as CS 477. See CS 477.
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.
Last updated
9/22/2014