Esta Tesis Doctoral presenta SRec, una aplicacion software con fines educativos. SRec es capaz de generar automaticamente y sin esfuerzo por parte del usuario visualizaciones de la ejecucion de programas recursivos con multiples vistas. Estas ofrecen diversas opciones de interaccion y muestran de manera coordinada y coherente la informacion relativa a un instante de la citada ejecucion. La aplicacion permite por tanto realizar una exploracion a lo largo de sus instantes para ver la progresion de la misma hasta alcanzar el resultado final de la ejecucion. Con este trabajo se pretende ampliar...