Assertion: contract | /r/Synonym | programming
Facets:
value: by programming
type: MANNER
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.