Quote: abstract specification is difficult; e.g., specifying a simple table/list module led to non-intuitive problems

Quotation Skeleton

In this section we present the history of … [p. 26] It is clear that when we entered … encountered. Each proposal seemed intuitively obvious and the … (which were written using weakest preconditions): all thought … came as a complete surprise. We had expected …   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: specification is infeasible (46 items)