Assertion: condition | /r/HasProperty | essential part of design
Facets:
Source sentences:
text: Preconditions in object-oriented software development are an essential part of design by contract.