Map
Index
Random
Help
th

QuoteRef: parnDL4_1996

topics > all references > ThesaHelp: references p-r



ThesaHelp:
references p-r
Group:
program proving
Topic:
program proving is infeasible

Reference

Parnas, D.L., "Mathematical methods: what we need and don't need", Computer, April 1996, pp. 28-29. Google

Quotations
29 ;;Quote: in formal methods there is an unreasonable focus on proof of correctness; in other areas, engineers use mathematics to derive important properties such as the maximum voltage between two terminals


Related Topics up

ThesaHelp: references p-r (245 items)
Group: program proving   (10 topics, 310 quotes)
Topic: program proving is infeasible (46 items)

Collected barberCB 12/96
Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.