Map
Index
Random
Help
th

Quote: describe a routine accurately; include preconditions, postconditions, validity conditions, accuracy, time taken, and method

topics > all references > references t-z > QuoteRef: turiA3_1951 , p. 75



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.


Related Topics up

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)

Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.