| 
|
Quote: algebraic specification of the abstract type, Knowlist
Topic:
requirement specification by assertion
Quotation Skeleton
An appropriate set of operations [for the abstract type Knowlist] might be: … operations could then be precisely defined by the … idl). Google-1 Google-2
Copyright clearance needed for quotation.
Topic: requirement specification by assertion (28 items)