| 
|
Quote: Cleanroom's development team designs each increment top-down with usage hierarchy, black-box, state-box, and clear-box
topics >
all references >
references c-d >
Topic:
stepwise refinement
Topic:
Cleanroom software development
Quotation Skeleton
The [development team] proceeds in three steps: 1. Design … the correctness of each view. 2. Implement each … performs according to its specification using functional verification … Google-1 Google-2
Copyright clearance needed for quotation.
Additional Titles
Quote: Cleanroom's development team implements clear boxes by stepwise refinement and verifies each function
Topic: stepwise refinement (25 items)
Topic: Cleanroom software development (38 items)