(8/27) Lab 1: Latex, HTML. (9/3) Lab 2: Java UI.
- Handout
(9/10) Lab 3: More Java UI.
- Handout
(9/17) Lab 4: UML Modelling I
(9/24) Lab 5: Work on Project Prototype
(10/1) Lab 6: Preliminary Evaluation of Project Prototype
(10/8) Lab 7: UML Modeling II (state and sequence)
(10/15) Open (10/23) Lab 8: Promela One