Formal Software Development Methods credit: 3 or

4 Hours

Mathematical models, languages, and methods for software specification, development, and verification. Same as ECE 478 . 3 undergraduate hours. 3 or 4 graduate hours. Prerequisite: CS 225 ; one of CS 374 , ECE 374 or MATH 414 .