Increment Planning—adopts the incremental strategy
Requirements Gathering—defines a description of customer level requirements
(for each increment)
Specification—describes the functional
Formal Design—specifications (called “black boxes”) are iteratively refined (with an increment) to become analogous to architectural and procedural
designs (called “state boxes” and “clear boxes,” respectively).
Correctness Verification—verification begins with the highest level box structure (specification) and moves toward design detail and code
using a set of “correctness questions.” Ifthese do not demonstrate that the
specification is correct, moreformal (mathematical)
methods for verification are used.
Code Generation, Inspection
and Verification—the box structure specifications,
represented in a specialized language, are transmitted
into the appropriateprogramminglanguage.