Contract-Based Software Development: Inheritance and Frame Rules

Simon Kongshøj

Publikation: AndetUndervisningsmateriale

15 Downloads (Pure)

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.
OriginalsprogEngelsk
Publikationsdato2016
Antal sider9
StatusUdgivet - 2016

Fingeraftryk

Dyk ned i forskningsemnerne om 'Contract-Based Software Development: Inheritance and Frame Rules'. Sammen danner de et unikt fingeraftryk.

Citationsformater