Design by contract (DbC), also known as contract programming, programming by contract and design-by-contract programming, is an approach for designing software.
Контрактное программирование ("design by contract" (DbC), "programming by contract", "contract-based programming") — это метод проектирования программного обеспечения.