Credit: 3 or 4 hours. Mathematical models, languages and methods for software specification, development and verification. Same as ECE 478. Prerequisite: CS 225 or 300, and either CS 273 or MATH 314.
