Design by contract

• https://en.wikipedia.org/wiki/Design_by_contract

TDD vs DbC

• https://stackoverflow.com/questions/481312/why-is-design-by-contract-not-so-popular-compared-to-test-driven-development#:~:text=Like TDD%2C the contracts of,)%2C will execute the contracts.

Defensive Programming vs Design_by_contract

• https://softwareengineering.stackexchange.com/questions/125399/differences-between-design-by-contract-and-defensive-programming#:~:text=Design by Contract and defensive programming are in some sense,the collaborators honor their contracts.&text=The difference is that the programmer doesn't make this check.