Date	Description
March 29	Reasoning about code (part I), version control S1, slides
April 5	Reasoning about code (part II) S2
April 12	Specifications slides
April 19	Unit testing slides
April 26	Java Generics slides, example code
May 3	AF/RI/rep exposure, exam review slides
May 10	Model-View-Controller pattern slides
May 17	Preventing run-time errors at compile-time slides
May 24	Design patterns, enums slides example code
May 31	Code reasoning, design patterns slides 1, slides 2, code