ABSTRACT
The steps below, presented in a logical order for serial application, summarize the procedure, which is described in detail in [58]. Unless there is a statement to go back to a previous step for a given condition, the rule is to go to the next step. If there is a need to go back to a previous step n (e.g., because of accepting an alternative hypothesis), then the same rule applies after completing step n; proceed to step n + 1. However, there are opportunities for significant parallel and iterative application for teams of developers. Figure 7.3 shows the parallel and iterative nature of the procedure.
