As we have learned in Chapter 4, a process specification, given with pre and postconditions, is usually concise and precise in defining the functionality of the process. This kind of specification is usually suitable for defining requirements and high level design, because it allows the developer to concentrate on the relation between the inputs and outputs, with no need to think of how the relation can be implemented. However, when deriving a detailed design specification from a high level design, an algorithmic solution using sequence, choice, and iteration usually needs to be provided. Compared with program code, the detailed design specification may still be expressed in an abstract manner.
Unable to display preview. Download preview PDF.