May 17, 2024  
2014-2015 Graduate Bulletin 
    
2014-2015 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 design are used to describe the various requirements of a non-trivial software system. Prerequisites: CS 2123 and CS 3013.



Add to Bulletin (opens a new window)