3 Credits (3 Contact Hours)Foundations of software design, reasoning about software, the calculus of programs, survey of formal specification techniques and design languages. Students are expected to have completed courses comparable to ECE 3220 and ECE 3520 and MATH 4190 before enrolling in this course.
