Nov 09, 2024  
2024-2025 Graduate Catalog 
    
2024-2025 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)