A group of sequentially executed statements with a single exit point.
The phase in which the programmer embodies his or her plan in a language-independent notation such as pseudocode or structure charts, which omit nonessential implementation details.
A directed graph in which executed statements (or procedures) are represented by the nodes and control-flow is represented by the arcs.