Assertion: computer's program | /r/Desires | formal software methodologies
Facets:
Source sentences:
text: Large programs involving thousands of line of code and more require formal software methodologies.