What a good looking class!
Fall, 1999
CSE 5324 (Pictures)



The class notes (so far)Big "pdf" file
 


The second set of notes (for exam 2) Note: this includes some parts
of testing not yet covered, that will be on the third exam:
Second Note Set:Another big "pdf" file


Z specification:Z



Cleanroom:Cleanroom

The third set of notes (for exam 3):
Third notes:Not such a big "pdf" file