Contracts: Specifying Behavioural Compositions in Object-Oriented Systems

Richard Helm, Ian M. Holland, Dipayan Gangopadhyay. Contracts: Specifying Behavioural Compositions in Object-Oriented Systems. In OOPSLA/ECOOP. pages 169-180, 1990.

Abstract

Abstract is missing.