May 30, 2026  
2016-2017 Graduate Catalog 
    
Catalog Navigation
  Catalog Home
  Academic Calendar
  University Trustees and Administration
  The University
  General Policies and Regulations
  Special Resources
  Fees, Financial and Other General Information
  Colleges
  Colleges and Departments
  Departments
  Programs
  Courses
  Campus Map
  My Portfolio
HELP
2016-2017 Graduate Catalog [Archived]

Facebook this Page (opens a new window)
Tweet this Page (opens a new window)
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



Facebook this Page (opens a new window)
Tweet this Page (opens a new window)
Add to Portfolio (opens a new window)