2018-2019 Catalog 
    
    Dec 14, 2024  
2018-2019 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)