| 
|
Quote: the Larch Shared Language specifies traits; i.e., operators, their properties, and their constraints; may be an abstract data type
topics >
all references >
references g-h >
Topic:
abstract data type
Topic:
requirement specification by function
Quotation Skeleton
The trait is the basic unit of specification … of operators will correspond to an abstract data … … [p. 26] The final part of the [trait] specification constrains the operators by means of equations that relate … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: abstract data type (64 items)
Topic: requirement specification by function (20 items)