Проектирование по контракту

Программа сама по себе не может быть корректной или не корректной, все зависит от того, что она должна делать на самом деле. Но поскольку информация о том, что же должна делать программа на самом деле зачастую размазывается по диаграммам, коду и юнит-тестам, то понять "а не сломал ли я чего-то сегодня" бывает довольно сложно. Проектирование по контракту - это более формальный способ заявить о том, что конкретный класс требует от своих клиентов, и что он готов дать в замен.