2019-2020 Graduate Catalog 
    
    Dec 21, 2024  
2019-2020 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


Click here for the Fall 2024 Class Schedule

Click here for the Spring 2025 Class Schedule

Click here for the Summer 2025 Class Schedule




Add to Portfolio (opens a new window)