1.3 Especificação dos Casos de Uso

Na seção de pós condição do Caso de uso 2 não fica claro se o saldo disponível se refere ao valor da máquina ou ao valor inserido pelo cliente.