O instrumento da lógica estruturada que tem como ponto de partida uma especificação do problema em termos de entrada, processamento e saída, e cuja solução é desdobrada em caixas que serão seguidas de cima para baixo e da esquerda para a direita, é conhecido como: