| Week (tenative) | Subject |
|---|---|
| (1/7) | Lab 1: Latex, HTML. |
| (1/14) |
Lab 2: Java UI.
|
| (1/21) |
Lab 3: More Java UI.
|
| (2/18) | Lab 4: UML Modelling I |
| (2/4) | Work on prototype |
| (2/11) | Prelimiary review of prototype |
| (2/18) | Lab 7: UML Modeling II (state and sequence) |
| Lab 8: Promela One | |
| (3/11) | Promela Exercises |