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.
- Credits: Variable
- Frequency: Every term
- CS 2310 SOFTWARE ENGINEERING
2310or consent of the instructor.