object-oriented-programming

Classes and their Contracts

How Nex allows the specification of an abstract datatype to live in the code itself instead of a comment or document.

how-toobject-oriented-programmingsoftware-designcontracts