CS 611 - Software Specification and Design

3 Credits

Approaches to software specification and development, such as Z and VDM. The course also explores the use of software tools available for use with software specification and development methods.

Restrictions
Graduate standing

Click here for the Fall 2025 Class Schedule

Click here for the Spring 2026 Class Schedule

Click here for the Summer 2026 Class Schedule