Assertion: specification | /r/CapableOf | describe property
Facets:
value: by their interrelationship
type: OTHER
Source sentences:
text: In the property-oriented approach to specification (taken e.g. by CASL), specifications of programs consist mainly of logical axioms, usually in a logical system in which equality has a prominent role, describing the properties that the functions are required to satisfy — often just by their interrelationship.