| 
|
Quote: a program function transforms input state to output state; a clear box includes its intended function and the intended functions of its refinements
topics >
all references >
references i-l >
Topic:
Cleanroom software development
Quotation Skeleton
In execution, a [clear box] control structure simply transforms … corresponds to a mathematical function … [p. 9] In stepwise refinement of clear box procedures, … for refinement … Intended functions are recorded in the design, delimitated … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: Cleanroom software development (38 items)