| 2015 | Tue | Thu | Week end |
| Jan 5-Jan 9 | . |
course overview
class background survey |
. |
| Jan 12-Jan 16 | ... |
axiomatic specs for ADT
download SML of NJ and install on laptop ML overview |
. |
| Jan 19-Jan 23 | no class |
axiomatic specs for ADT
encoding axioms in ML ADT assignment given |
... |
| Jan 26-Jan 30 | ... |
ML local bindings, currying
P/T nets and specs |
ADT assignment A3 due (Sunday 11:59 pm) |
| Feb 2-Feb 6 | model checking
model checking temporal logic Clarke's original TOPLAS paper |
using clarke's original model checker
user stories, CRC cards |
... |
| Feb 9-Feb 13 | ... | Design: Architecture and Patterns | ... |
| Feb 16-Feb 20 | pair work | Design: Architecture and Patterns (cont.) | ... |
| Feb 23-Feb 27 |
XP and Agile
pair programming XP part 1 XP part 2 |
JUnit testing with axiomatic semantics
JUnit tutorial (with Eclipse) |
... |
| Mar 2-Mar 6 |
finish project issues
user stories CRC cards |
.. | ... |
| Mar 9-Mar 13 | spring break | spring break |
spring break
|
| Mar 16-Mar 20 | ... | .. | .. |
| Mar 23-Mar 27 | ... | ... | ... |
| Mar 30-Apr 3 | strategy, template, AOP | AOP | ... |
| Apr 6-Apr 10 | ... | ... | ... |
| Apr 13-Apr 17 | ... | ... | ... |
| Apr 20-Apr 24 | ... | EDP (elemental design patterns) | (last day of classes) |
| Apr 27-May 1 | (exam slot)
Tues Apr. 28, 4pm, in-class design presentations |
... | ... |