Processo de cálculo, ou de resolução de um grupo de problemas semelhantes, em que se estipulam, com generalidade e sem restrições, regras formais para a obtenção de resultado ou da solução do problema.
Produza Mais, Erre Menos: Aumente a Qualidade com Testes e Verificação Eficientes