CIS 5755 - Software Engineering (3)

An advanced course in the systematic approach to the specification, development, operation, maintenance, and retirement of software. Topics include formal specification tools, developmental strategies, software metrics, verification and validation techniques. This course is co-listed with CIS 4655. Prerequisite(s): CIS 3660.