Nov 23, 2024  
2023-2024 Graduate Catalog 
    
2023-2024 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)