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.