May 30, 2026  
2024-2025 Graduate Catalog 
    
2024-2025 Graduate Catalog [Archived]

Add to Portfolio (opens a new window)

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


View available class schedules




Add to Portfolio (opens a new window)