|
|
Dec 14, 2024
|
|
CS 6380 - The Design and Modeling of Class Interfaces and Contracts3 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)
|
|
|