Map
Index
Random
Help
th

Quote: neither structured programming nor proofs of correctness attempt to check the specification itself

topics > all references > references a-b > QuoteRef: bateD_1976 , p. 31 Gerhart:



Topic:
program proving is infeasible
Topic:
specification errors

Quotation Skeleton

The problem of specifications is raised here because … their task   Google-1   Google-2

Copyright clearance needed for quotation.


Related Topics up

Topic: program proving is infeasible (46 items)
Topic: specification errors (10 items)

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