---
id: dbc
requestedLanguage: en
descriptionLanguage: en
---

# Design by Contract

- Type: design approach
- Group: Design
- Placement: Design / Qualities and decisions
- [Source](<https://www.eiffel.com/values/design-by-contract/>)

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

Defines code obligations through preconditions, postconditions, and invariants.

## Relationships

- may be verified through: [Property-based Testing](/practices/property/en.md) (verification)

[Show on the map](https://dpm.cnonim.name/#practice=dbc&lang=en)