Map
Index
Random
Help
th

Quote: program proving and automatic derivation of code from formal specifications are not important; e.g., implementation of formal specifications caused few errors

topics > all references > references t-z > QuoteRef: tretJ9_2001 , p. 208



Topic:
executable code from specifications and designs
Topic:
program proving is infeasible

Quotation Skeleton

The overall impression of the BOS team is … that program proving and the formal and (semi) … problems from BOS supports this view by showing …   Google-1   Google-2

Copyright clearance needed for quotation.


Related Topics up

Topic: executable code from specifications and designs (18 items)
Topic: program proving is infeasible (46 items)

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