When Offered:Spring, Odd-numbered years Review of the system life cycle. Software metrics. System engineering. Analysis and system specification. Object-oriented modeling. Computer-aided software engineering (CASE). Verification, validation and formal specification. Both individual and group projects are required. Prerequisite: C_S 5666.
