| 
|
Quote: Larch divides a specification into mathematical abstractions and program interfaces
topics >
all references >
references a-b >
Group:
program proving
Group:
requirement specification
Quotation Skeleton
We use the Larch two-tiered approach to specification … [refs] … [Guttag, J.V., et al, Digital Systems Research Center, Report 58, 1990] uses a subset of first-order logic to define mathematical abstractions … Google-1 Google-2
Copyright clearance needed for quotation.
Group: program proving (10 topics, 310 quotes)
Group: requirement specification (11 topics, 306 quotes)