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.
Prerequisites: CS 601 and CS 602 or permission of the graduate program director