| 
|
Quote: if refine a step by substituting the body, then lose derivation information; better to retain each refinement as a function
topics >
all references >
references m-o >
Topic:
stepwise refinement
Quotation Skeleton
The normal way to perform a refinement step … the derivation process. The solution should be obvious. … a functional part of the program. Google-1 Google-2
Copyright clearance needed for quotation.
Topic: stepwise refinement (25 items)