CS 477
CS 477 - Formal Software Devel Methods
Spring 2024
Title | Rubric | Section | CRN | Type | Hours | Times | Days | Location | Instructor |
---|---|---|---|---|---|---|---|---|---|
Formal Software Devel Methods | CS477 | B3 | 39588 | LCD | 3 | 1230 - 1345 | T R | 1310 Digital Computer Laboratory | Gagandeep Singh |
Formal Software Devel Methods | CS477 | B4 | 39589 | LCD | 3 | 1230 - 1345 | T R | 1310 Digital Computer Laboratory | Gagandeep Singh |
Formal Software Devel Methods | ECE478 | B3 | 39766 | LCD | 3 | 1230 - 1345 | T R | 1310 Digital Computer Laboratory | Gagandeep Singh |
Formal Software Devel Methods | ECE478 | B4 | 39767 | LCD | 3 | 1230 - 1345 | T R | 1310 Digital Computer Laboratory | Gagandeep Singh |
See full schedule from Course Explorer
Official Description
Mathematical models, languages, and methods for software specification, development, and verification. Course Information: Same as ECE 478. 3 undergraduate hours. 3 or 4 graduate hours. Prerequisite: CS 225; one of CS 374, ECE 374 or MATH 414.