Описание тега design-by-contract

Дизайн по контракту (DbC) или Программирование по контракту - это подход к разработке компьютерного программного обеспечения. Он предписывает разработчикам программного обеспечения определять формальные, точные и проверяемые спецификации интерфейса для компонентов программного обеспечения, которые расширяют обычное определение абстрактных типов данных с помощью предусловий, постусловий и инвариантов. Эти спецификации называются "контрактами" в соответствии с концептуальной метафорой условий и обязательств деловых контрактов.

Поскольку "Дизайн по контракту" является зарегистрированным товарным знаком Eiffel Software в США, многие разработчики называют его "Программирование по контракту", "Программирование по контракту" или "Разработка по контракту".