Software engineering principles and concepts. The software life cycle, structured specifications, design tools and techniques, software reliability, and verifying program correctness.
Prerequisites: Minimum grade of C or better in CS 601 or CS 617, and CS 602, or permission of the graduate program director