Assertion: bind | /r/CapableOf | use a design by contract
Facets:
value: by contract” paradigm
type: OTHER
Source sentences:
text: To catch programming errors that could lead to such a compromise, BIND was created using a “design by contract” paradigm.