Design by contract, by example

Computer-aided designObject-oriented programming (Computer science)Computer interfacesComputer programming

For young readers