CS 624/724 Formal Specification
Class Notes
Notes from Textbook (PostScript)
Notes from NASA Course (Power Point)
Notes from UML Presentation (PDF)
Assignments
Assignment 1 (Postscript)
Assignment 2 (Postscript)
Assignment 3 (Postscript)
Assignment Data Set (Text)
Additional Information
Formal Methods
Java
.cshrc for running Java (Text)
Larch
OBJ
How to run OBJ3
Rational Rose
How to run Rational Rose
UML
VDM and VDM++
How to run VDM++
Z
PostScript Browser
Back to the UAB-CIS Course Listing Page
send comments to Barrett Bryant