| 
|
Quote: a formal specification also requires user feedback from an implementation
Topic:
specification is infeasible
Topic:
program proving is infeasible
Quotation Skeleton
[Barstow, D.R.: IEEE Trans. Softw. Eng SE-11:1321-36 1985]: there is a growing belief in the … [i.e., specification] in the absence of implementation is not possible because of … it is impossible to be certain that the … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: specification is infeasible (46 items)
Topic: program proving is infeasible (46 items)