The formal documentation for the phases of the system development life cycle. It defines the precise objectives for each phase and the results required from a phase before the next one can begin.