Abstract
This lecture note explains how contract-based techniques interact with the classic object-oriented notion of inheritance, and how the subclass-superclass relationship presents some challenges to contract-based programming. We also investigate the concept of \emph{frame rules}, which express the parts of objects that do not change when a given command is executed.
Originalsprog | Engelsk |
---|---|
Publikationsdato | 2016 |
Antal sider | 9 |
Status | Udgivet - 2016 |