---
key: para/contracts
kind: paradigm
name: "DbC"
url: https://plangs.page/paradigm/contracts
---

# DbC

Design by Contract is a software design approach that uses contracts to define the obligations and guarantees of software components.

## Facts

- Homepage: https://en.wikipedia.org/wiki/Design_by_contract

## Relationships

### Plangs

- [Eiffel](https://plangs.page/eiffel)