Software Construction I

4-5 credits

Design, implementation, reasoning about software systems: abstraction and specification of software, testing, verification, abstract data types, object-oriented design, type hierarchies, concurrent software design. [3-2-2*]. Prerequisite: APSC_V 160. This course is not eligible for Credit/D/Fail grading.