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

### Rafael del Vado Vírseda

#### Abstract

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.

#### References

- Brassard, G. and Bratley, P. (1996). Fundamentals of algorithms. Prentice Hall.
- Chen, T. and Sobh, T. (2001). A tool for data structure visualization and user-defined algorithm animation. In Frontiers in Education Conference.
- Clavel, M. and et al. (2006). All about maude. A high performance logical framework. In How to Specify, Program and Verify Systems in Rewriting Logic, LNCS. Springer.
- Cormen, T., Leiserson, C., Rivest, R., and Stein, C. (2001). Introduction to Algorithms. The MIT Press.
- Neapolitan, R. and Naimpour, K. (2003). Foundations of algorithms using C++ pseudocode. Jones and Bartlett.
- Segura, C., Pita, I., del Vado, R., Saiz, A. I., and Soler, P. (2008). Interactive Learning of Data structures and algorithmic schemes. In ICCS, volume 5101 of LNCS, pages 800-809. Springer.
- Weiss, M. (1998). Data Structures and Problem Solving Using Java. Addison-Wesley.

#### Paper Citation

#### in Harvard Style

del Vado Vírseda R. (2009). **AN INNOVATIVE EDUCATIONAL ENVIRONMENT FOR THE INTERACTIVE LEARNING OF DATA STRUCTURES - From Algebraic Specification to Implementation** . In *Proceedings of the First International Conference on Computer Supported Education - Volume 2: CSEDU,* ISBN 978-989-8111-82-1, pages 27-32. DOI: 10.5220/0001844900270032

#### in Bibtex Style

@conference{csedu09,

author={Rafael del Vado Vírseda},

title={AN INNOVATIVE EDUCATIONAL ENVIRONMENT FOR THE INTERACTIVE LEARNING OF DATA STRUCTURES - From Algebraic Specification to Implementation},

booktitle={Proceedings of the First International Conference on Computer Supported Education - Volume 2: CSEDU,},

year={2009},

pages={27-32},

publisher={SciTePress},

organization={INSTICC},

doi={10.5220/0001844900270032},

isbn={978-989-8111-82-1},

}

#### in EndNote Style

TY - CONF

JO - Proceedings of the First International Conference on Computer Supported Education - Volume 2: CSEDU,

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

SN - 978-989-8111-82-1

AU - del Vado Vírseda R.

PY - 2009

SP - 27

EP - 32

DO - 10.5220/0001844900270032