CS 3320: Specification and Design of Software Systems
Description
Principles of specification, components of a software system; specification and life-cycle models; specification methodologies for programing in the small, specification methodologies for information systems and control systems; the process of specification; validation methodologies; research topics.
Prerequisites
CS 2310 or consent of the instructor.





