Assertion: specification | /r/MadeOf | logical axioms
Facets:
value: mainly
type: DEGREE
value: in a logical system
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.