Dentre as ferramentas disponíveis na especificação
de processos, além do português estruturado e do
pseudocódigo, as principais técnicas empregadas são:
A
diagrama de transição de estados e diagrama
de pontos de função
B
árvore de decisão e diagrama de transição de
estados
