Especificação Verificação Implementação e Teste