CS 8113g Syllabus

Class  Date   Topic                          
===========================================================
1      3/28   Intro & Admin..............     
2      3/30   The Z notation (Part 1)....     
3      4/4    The Z notation (Part 2)....     
4      4/6    The Z notation (Part 3)....     
5      4/11   Real Boring Class..........     
6      4/13   Projects and Z.............     
7      4/18   Reasoning in Z.............     
8      4/20   Promotion and reasoning....     
9      4/25   More reasoning.............     
10     4/27   Displays and stuff.........     
11     5/2    Usability malfunctions.....     
12     5/4    Z Presentations............     
13     5/9    Z Presentations............     
14     5/11   Z Presentations............     
15     5/16   Usability properties.......     
16     5/18   Love.......................     
17     5/23   Model checking.............     
18     5/25   Graphic Design.............     
19     5/30   Task Models................     
20     6/1    ...........................     

Created May 18, 1995 16:16:32 by abowd@cc