Aprendizaje interactivo de estructuras de datos: de la especificación algebraica a la implementación

Abstract

Este es un proyecto fresco e innovador que representa el desarrollo de una herramienta educativa, incorporando una nueva estructura de datos, montículos, y adaptando ideas de otras herramientas, basándose en algunas ya existentes las cuales han sido desarrolladas en años pasados en la
asignatura de Sistemas Informáticos, Vedya y Vedya-Test, a través de una sola herramienta capaz de controlar la evolución pedagógica del alumno en la asignatura de “Estructura de Datos y de la Información”.
El propósito de esta herramienta es ayudar al alumno a comprender la estructura de los montículos, a que comprenda su especificación a través de Maude y su implementación a través de eclipse.
[ABSTRACT]
This is a fresh and innovative project that represents the development of an educational tool, adding a new data structure, heaps, and adapting ideas from other tools, based on some already existing ones that have been developed at Sistemas Informáticos some years before, called Vedya and Vedya-Test, through a unique tool capable of controlling the pedagogical evolution of the student when at “Estructuras de Datos y de la Informacion”. The aim of this tool is helping students to understand the heap structure, its specification through Maude and its implementation through Eclipse.