Uma Abordagem Semi-Automática para a Avaliação Comparativa de Software Educacional de Matemática