Apr 29, 2024  
2019-2020 Graduate Catalog 
    
Catalog Navigation
  Catalog Home
  FERPA
  Accreditation
  Academic Calendar
  Administration
  Graduate School
  Policies and Procedures
  College of Agriculture, Forestry and Life Sciences
  College of Architecture, Arts and Humanities
  College of Behavioral, Social and Health Sciences
  College of Business
  College of Education
  College of Engineering, Computing and Applied Sciences
  College of Science
  Courses of Instruction
  My Portfolio
HELP
2019-2020 Graduate Catalog [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

CPSC 8720 - Software Specification and Design Techniques

3 Credits (3 Contact Hours)
Techniques, tools, environments and formal methods for software specification and design; verification of design correctness. Students are expected to have completed coursework in software engineering before enrolling in this course.


Add to Portfolio (opens a new window)