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) — это метод проектирования программного обеспечения.