Catalog Description:
State-of-the-art methods for developing large pieces of software; design techniques,
scheduling, methods of program verification and correctness-proving, and human
factors involved in software development by teams. Senior project required.
Prerequisite: permission of instructor.