CS 624/724 Formal Specification of Software Systems
Class Notes
Notes from Textbook
Notes from NASA Course (Power Point)
Notes from UML Presentation (PDF)
Notes on Z (PostScript)
Assignments
Assignment 1 (HTML)
Assignment 2 (HTML)
Assignment 3 (HTML)
Additional Information
Formal Methods
Java
Rational Rose
UML
VDM and VDM++
Z
B
Back to the UAB-CIS Course Listing Page
send comments to Barrett Bryant