Title: Design by contract, by example
Subjects: Computer-aided design, Object-oriented programming (Computer science), Computer interfaces, Computer programming