(3 credits)Covers several different methods and languages for expressing software designs. Criteria for evaluating designs are introduced, and design methods are evaluated according to these criteria. Concepts of design verifiability and reusability are stressed.