CS 690 Software Engineering
Software engineering principles and concepts. The software life cycle, structured specifications, design tools and techniques, software reliability, and verifying program correctness. Intended for students after their first semester of master's level study. Prerequisite: permission of the department chairperson. Not open to students who have credit in CS 498.