La actualidad de la educación matemática está caracterizada, en muchos casos, por el uso de metodologías tradicionales para la enseñanza, las cuales aún pudiendo ser necesarias, podrían ser complementadas con otras que ayuden a enriquecer el proceso de enseñanza-aprendizaje. En este sentido, la computadora y en particular los software educativos, se proyectan como estrategias metodológicas alternativas y complementarias. Por ello, la validación de la calidad y la pertinencia del software educativo por utilizar corresponde a una tarea de suma importancia. En este libro se reporta con detalle una investigación desarrollada por los autores sobre la validación rigurosa realizada a un software matemático y el diseño de una nueva versión como producto de dicha investigación.