Mar 29, 2024  
2019-2020 Graduate Bulletin 
    
2019-2020 Graduate Bulletin [ARCHIVED BULLETIN]

Add to Bulletin (opens a new window)

CS 6683 Software Specification and Design

(3 hours)
Formal and semi-formal methods of specification and verification are used to express and prove the various functional requirements of software systems. Prerequisites: CS 2123 and CS 3033.



Add to Bulletin (opens a new window)