Contract-Based Software Development: Class Design by Contract

Publikation: AndetUndervisningsmateriale

1 Downloads (Pure)

Abstract

This lecture note introduces the foundations of contract-based development in an object-oriented setting. We introduce the six fundamental principles using motivating examples in JML (Java Modeling Language), and introduce the concepts of \emph{type invariants} and \emph{representation invariants}.
OriginalsprogEngelsk
Publikationsdato2016
Antal sider14
StatusUdgivet - 2016

Citationsformater