AN INNOVATIVE EDUCATIONAL ENVIRONMENT FOR THE INTERACTIVE LEARNING OF DATA STRUCTURES From Algebraic Specification to Implementation

摘要

The high level of abstraction necessary to teach "data structures" and "algorithmic schemes" have been more than a hindrance to students. In order to make a proper approach to this issue, we have developed and implemented, during the last years, at the Computer Science Department of the Complutense University of Madrid, an innovative interactive learning system according to the new guidelines of the European Higher Education Area. In this paper, we present the new main contributions to this system. In the first place, we describe the tool called Vedya for the visualization of data structures and algorithmic schemes. In the second place, the Maude system to execute the algebraic specifications of abstract data types using Eclipse, by which it is possible to study from the more abstract level of a software specification up to its specific implementation in Java, thereby allowing the students a self-learning process.