Assertion: contract | /r/HasProperty | part of the design process
Facets:
Source sentences:
text: However, DbC considers these contracts to be so crucial to software correctness that they should be part of the design process.