Assertion: program specification | /r/HasProperty | the definition
Facets:
Source sentences:
text: A program specification is the definition of what a computer program is expected to do.
text: A program specification is the definition of what a computer program is expected to do.