| 
|
Quote: uncaught errors in executable specification languages are just as disastrous as in traditional programming
Topic:
program proving is infeasible
Topic:
specification errors
Quotation Skeleton
It is also likely that executable specification languages … Specification errors not corrected during … an implementation phase would cause system catastrophes that … be called failures since the system will not … [p. 45] No matter how high the level of … do what we want. Google-1 Google-2
Copyright clearance needed for quotation.
Topic: program proving is infeasible (46 items)
Topic: specification errors (10 items)