Course description
Topics include design objectives, life-cycle model, reliability and risk assessment, maintenance, specification and design tools, implementation issues and strategies, and verification and validation.
Prerequisite(s): Grade of "C" or better in CMPSC 140 Data Structures.
(Normally offered alternate years.)