Dec 18, 2025  
2025-2026 Graduate Catalog 
    
Catalog Navigation
  Catalog Home
  FERPA
  Accreditation
  Academic Calendar
  Administration
  Graduate School
  Policies and Procedures
  Clemson University Interdisciplinary Programs
  College of Agriculture, Forestry and Life Sciences
  College of Architecture, Art and Construction
  College of Arts and Humanities
  College of Behavioral, Social and Health Sciences
  Wilbur O. and Ann Powers College of Business
  College of Education
  College of Engineering, Computing and Applied Sciences
  College of Science
  Harvey S. Peeler Jr. College of Veterinary Medicine
  Courses of Instruction
  My Portfolio
HELP
2025-2026 Graduate 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)