2017-2018 Catalog 
    
    Mar 28, 2024  
2017-2018 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)