CS 477 - Formal Software Devel Methods
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; CS 374 or MATH 414.
Varies by semester.
Assessment and Revisions
|Revisions in last 6 years||Approximately when revision was done||Reason for revision|
|Each semester the instructor has chosen difference emphases in order to introduce and interest the students in recent research topics.||This helos to serve learning outcome (h) recognition of the need for and an ability to engage in continuing professional development|
Required, Elective, or Selected Elective
2/14/2019by Madhusudan Parthasarathy