CS U290 Logic and Computation
Spring 2008

[Syllabus] [Lectures] [Assignments]

Index Card for the Design Recipe.

• Problem Analysis & Data Definition
• Contract, Purpose & Effect Statements, Header
• Examples
• Function Template
• Function Definition
• Tests