Complutense University Library

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

Jiménez Paniagua, Luis and Marcis Barrio, José and Fuentes Iglesias, Rubén (2010) Aprendizaje interactivo de estructuras de datos: de la especificación algebraica a la implementación. [Coursework] (Unpublished)

[img] PDF
3MB
View download statistics for this eprint

==>>> Export to other formats

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.


Item Type:Coursework
Additional Information:

Proyecto de Sistemas Informáticos (Facultad de Informática, Curso 2009-2010)

Uncontrolled Keywords:Montículos, Especificación, Implementación, Aprendizaje, Educación, Conocimiento, Estructura de datos
Subjects:Humanities > Education > Teaching
Sciences > Computer science > Expert systems (Computer science)
ID Code:11264
Deposited On:18 Oct 2010 14:28
Last Modified:18 Oct 2010 14:28

Repository Staff Only: item control page