CSE 331 Software Design and Implementation

December
Monday Tuesday Wednesday Thursday Friday
28 29 30 31 01

January
Monday Tuesday Wednesday Thursday Friday
04
Introduction
05 06
Formal Reasoning
07
Hoare Logic and Git
08
Reasoning With Loops
Homework 0
11
Specifications
12 13
Abstract Data Types
Homework 1
14 15
Representation Invariants
18 19 20 21 22
25 26 27 28 29

February
Monday Tuesday Wednesday Thursday Friday
01 02 03 04 05
08 09 10 11 12
Midterm
15 16 17 18 19
22 23 24 25 26
29 01 02 03 04

March
Monday Tuesday Wednesday Thursday Friday
07 08 09 10 11
14
Final
15 16 17 18

331 Main