Método de especificação lógica que utiliza uma representação ramificada. Cada bifurcação da árvore representa um ponto de decisão. Aa extremidades dos galhos denotam ações a serem executadas.
