| 2013 | Mon | Wed | Fri |
| Jan 7-Jan 11 | . |
course overview
class background survey |
. |
| Jan 14-Jan 18 |
axiomatic specs for ADT
ML overview |
axiomatic specs for ADT
encoding axioms in ML ADT assignment given |
Web site URL due to me (email) |
| Jan 21-Jan 25 | no class (MLK day) |
model checking
Clarke's original TOPLAS paper |
... |
| Jan 28-Feb 1 | ... | using clarke's original model checker | ... |
| Feb 4-Feb 8 | model checking
requirements board 1 for project requirements board 2 for project |
user stories, CRC cards | ... |
| Feb 11-Feb 15 | ... | Design: Architecture and Patterns | ... |
| Feb 18-Feb 22 | pair work |
Design: Architecture and Patterns (cont.)
singleton, factory, abstract factory |
... |
| Feb 25-Mar 1 |
XP and Agile
pair programming XP part 1 XP part 2 |
JUnit testing with axiomatic semantics
JUnit tutorial (with Eclipse) |
due: A6 |
| Mar 4-Mar 8 | due: A7 | ... | ... |
| Mar 11-Mar 15 | spring break | spring break |
spring break
due: A8 |
| Mar 18-Mar 22 | tba | tba | tba |
| Mar 25-Mar 29 | tba | tba | tba |
| Apr 1-Apr 5 | tba | tba | tba |
| Apr 8-Apr 12 | tba | tba | tba |
| Apr 15-Apr 19 | tba | tba | tba |
| Apr 22-Apr 26 | tba | tba | tba |
| Apr 29-May 3 | tba | tba | tba |
