3 Credits (3 Contact Hours)Foundations of software design, reasoning about software, the calculus of programs, survey of formal specification techniques and design languages. Preq: ECE 3220 and ECE 3520 and MATH 4190, each with a C or better.
This 4000-level course has a 6000-level counterpart. Students should refer to the Graduate Catalog for the 6000-level description and requirements.
