CS 477 - Formal Software Devel Methods
|Formal Software Devel Methods||CS477||B3||64565||ONL||3||1100 - 1215||T R||Sasa Misailovic|
|Formal Software Devel Methods||CS477||B4||64566||ONL||4||1100 - 1215||T R||Sasa Misailovic|
|Formal Software Devel Methods||ECE478||B3||66706||ONL||3||1100 - 1215||T R||Sasa Misailovic|
|Formal Software Devel Methods||ECE478||B4||66707||ONL||4||1100 - 1215||T R||Sasa Misailovic|
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