Assertion: contract | /r/HasProperty | dbc
Facets:
Source sentences:
text: Design by contract (DbC), also known as contract programming, programming by contract and design-by-contract programming, is an approach for designing software.