Overview

This lecture follows the path from a well-formed specification to a design that can guide implementation and provide a basis for review.

Class materials