Jun 16, 2024  
2015-2016 Graduate Bulletin 
    
2015-2016 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)