2011-2012 Catalog 
    
    Aug 11, 2022  
2011-2012 Catalog [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

CS 6380 - The Design and Modeling of Class Interfaces and Contracts

3 Credits (Minimum) 3 Credits (Maximum)

Past and present work related to specifying the semantics of a class using assertions are examined. The BON method is presented. Prer., CS 5380.



Add to Portfolio (opens a new window)