Uma análise da eficácia da utilização de assertivas como prevenção e observação de falhas em software Documento