CS 624/724 Formal Specification of Software Systems
Class Notes
Introduction (PDF)
UML (PDF)
Modeling Relationships (PDF)
Assignments
Assignment #1 (HTML)
Assignment #2 (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