COMP 530 - Software Engineering

(3 credits)
Prerequisite: Admission to the MS program in Computer Science or consent of instructor
Topics in this course will include construction of reliable software, software tools, software testing methodologies, structured design, structured programming, software characteristics and quality and formal proofs of program correctness. Chief programmer teams and structure walk-throughs will be employed. Offered periodically.