Previous Lecture lect02 Before Slides lect02 Annotated Slides Next Lecture

Code from lecture:

https://github.com/ucsb-cs24-sp17/lectures

Topics

About specification, design, implementation

e.g., Specify: Decompose problem (design concept) e.g., functions: prepare output Information hiding Pre/Post-conditions

ADT ~ class (w/ info hiding) for use by other programmers