Logic of Program Design: Using C++ in UNIX Environment

Introduces rigorous design of functional and procedural programs in C++. Demonstrate how programs can be reliably designed, proven and refined if you pay careful attention to their underlying logic. You learn the evolution of programs from specifications. Programs are developed in the UNIX environment. Corequisite: MA502WS.