CS 477
Formal Software Dev 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 or CS 400; CS 273 or MATH 414.