| 
|
Quote: PDS maintains the refinement history of a module and the user's reasons for a refinement and its implications for other modules
topics >
all references >
references c-d >
Topic:
stepwise refinement
Topic:
examples of programming environments
Quotation Skeleton
Refinement is, in general , a process of … history of the derivation of a module … The history is also a repository in which … the implementation Google-1 Google-2
Copyright clearance needed for quotation.
Additional Titles
Quote: program refinement is in general a process of trial and error
Topic: stepwise refinement (25 items)
Topic: examples of programming environments (17 items)