| 
|
Quote: describe a routine accurately; include preconditions, postconditions, validity conditions, accuracy, time taken, and method
topics >
all references >
references t-z >
Topic:
program proof via assertions
Topic:
function cost
Topic:
constructing proof and program together
Topic:
good requirement specifications
Quotation Skeleton
(iv) The effect of the routine must be … This will often consist of equations or inequalities … must state conditions of validity, accuracy of results … . (v) Some account of the method should … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: program proof via assertions (61 items)
Topic: function cost (8 items)
Topic: constructing proof and program together (22 items)
Topic: good requirement specifications (36 items)