Second part of a two-part sequence in programming. Introduction to specifications, simple unit testing, and debugging; building and using canonical data structures; algorithm analysis and reasoning techniques such as assertions and invariants. Three lecture hours and one discussion hour a week for one semester. Computer Science 314 and 314H may not both be counted. Prerequisite: Computer Science 312 or 312H with a grade of at least C-.