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 |