Title: Design by Contract
Subjects: Object-oriented programming (computer science), Computer software, development