---
id: dbc
requestedLanguage: ru
descriptionLanguage: ru
---

# Design by Contract

- Тип: подход к проектированию
- Группа: Проектирование
- Размещение: Проектирование / Свойства и решения
- [Источник](<https://www.eiffel.com/values/design-by-contract/>)

[HTML](https://dpm.cnonim.name/ru/practices/dbc/)

Задаёт обязательства кода через предусловия, постусловия и инварианты.

## Связи

- может проверяться через: [Property-based Testing](/practices/property/ru.md) (verification)

[Показать на карте](https://dpm.cnonim.name/#practice=dbc&lang=ru)