1 - 7 - Design by Contract ™. 2 Design by Contract A discipline of analysis, design, implementation, management.