EXercita is a system designed to archive and publish programming exercises. It consists of a repository of structured documents, each describing an exercise, and several tools to manage it. Documents are marked-up with an extension of... more
EXercita is a system designed to archive and publish programming exercises. It consists of a repository of structured documents, each describing an exercise, and several tools to manage it. Documents are marked-up with an extension of LaTeX we have designed, called eXercita, and can be automatically published as PostScript files or Web pages. In addition, exercises can be automatically published
Research Interests:
Programming is a suitable field to design electronic books with a laboratory component, where the programming task is exercised in the theoretical context provided by the book. The goal of the paper is to make a review of current... more
Programming is a suitable field to design electronic books with a laboratory component, where the programming task is exercised in the theoretical context provided by the book. The goal of the paper is to make a review of current electronic books for programming education and identify future lines of research. First, we review a number of software tools and electronic books for programming education in order to give a broad vision of technological opportunities in programming education. Later, a comparative analysis of such electronic books is made. Finally, based on this overview and analysis, we identify aspects that either are currently poorly supported or are a subject of active research, thus constituting potential areas for future improvement.
Research Interests:
Research Interests:
Research Interests:
... 3. J. Stewart, Calculus, 3rd Edition, Brooks/Cole Publ. Co., Pacific Grove, CA, 1994. Two Reflected Analyses of Lights Out OSCAR MARTIN-SANCHEZ CRISTOBAL PAREJA-FLORES Departamento de Sistemas Informaticos y Programaci6n Universidad... more
... 3. J. Stewart, Calculus, 3rd Edition, Brooks/Cole Publ. Co., Pacific Grove, CA, 1994. Two Reflected Analyses of Lights Out OSCAR MARTIN-SANCHEZ CRISTOBAL PAREJA-FLORES Departamento de Sistemas Informaticos y Programaci6n Universidad Complutense de Madrid ...
Research Interests:
ABSTRACT Automated assessment systems are gaining popularity within computer programming courses. In this paper we perform an empirical evaluation of Mooshak, an online judge that verifies program correctness, in order to determine its... more
ABSTRACT Automated assessment systems are gaining popularity within computer programming courses. In this paper we perform an empirical evaluation of Mooshak, an online judge that verifies program correctness, in order to determine its usefulness in classroom settings. In particular, we provide a detailed study on how students use the tool, analyze their opinions and critiques about it, and measure other features like its capability to reduce dropout rates. The experience was carried out within a course on algorithm design and analysis where we collected information through several questionnaires and data generated by the tool during the course. Among the main findings we highlight: (1) the usage of the tool was adequate in relation to students’ own testing; (2) its feedback needs to be richer in order to improve its acceptance among students; and (3) there was no statistical evidence to claim Mooshak reduced the dropout rate.
Research Interests:
This poster describes the structure of the Internet Distance education in the TechnicaI University. The task of Teletutor Learning Environment (IDLE) and in particular the component called Teletutor Workbench. IDLE is a system for... more
This poster describes the structure of the Internet Distance education in the TechnicaI University. The task of Teletutor Learning Environment (IDLE) and in particular the component called Teletutor Workbench. IDLE is a system for developing Workbench is to provide the possibility for tutors to work with data containing information about their students. This educational courses and representing them in WWW. The purpose of IDLE elaboration is to create the center of distance information is stored in a data base of students.
Research Interests:
Research Interests:
Chapter 2 Optimizing Eden by Transformation Cristobal Pareja, Ricardo Pena, Fernando Rubio, Clara Segura1 Abstract: Eden is a parallel extension ot'Haskell allowing the programmer to ex-plicitly specify which expressions must be... more
Chapter 2 Optimizing Eden by Transformation Cristobal Pareja, Ricardo Pena, Fernando Rubio, Clara Segura1 Abstract: Eden is a parallel extension ot'Haskell allowing the programmer to ex-plicitly specify which expressions must be evaluated as parallel processes. Eden is ...
Chapter 2 Optimizing Eden by Transformation Cristobal Pareja, Ricardo Pena, Fernando Rubio, Clara Segura1 Abstract: Eden is a parallel extension ot'Haskell allowing the programmer to ex-plicitly specify which expressions must be... more
Chapter 2 Optimizing Eden by Transformation Cristobal Pareja, Ricardo Pena, Fernando Rubio, Clara Segura1 Abstract: Eden is a parallel extension ot'Haskell allowing the programmer to ex-plicitly specify which expressions must be evaluated as parallel processes. Eden is ...
La plena igualdad de mujeres y hombres en el trabajo remunerado debe ir acompañada de la plena igualdad de las mujeres y los hombres en las tareas domésticas, especialmente en el cuidado de los niños, que es una actividad que los... more
La plena igualdad de mujeres y hombres en el trabajo remunerado debe ir acompañada de la plena igualdad de las mujeres y los hombres en las tareas domésticas, especialmente en el cuidado de los niños, que es una actividad que los psicólogos recomiendan no externalizar totalmente. En este trabajo se presenta un estudio del uso del tiempo realizado por el INE (Instituto Nacional de Estadística) en 2009/10 con el fin de comprobar a través de métodos estadísticos que el hombre no se ha sumado aún a las tareas domésticas cotidianas. El objetivo de este artículo es analizar cómo las tareas de cuidado de niños se dividen en los hogares españoles encabezados por una pareja heterosexual. Para ello construimos índices de disimilaridad que la desigualdad de género o la segregación sintetizan en el cuidado de niños y determinar qué factores y covariables son los más influyentes en esta segrega-ción mediante técnicas múltiples. Este estudio supone un avance en el conocimiento de los fundamentos ne...
Research Interests:
Research Interests:
Research Interests:
El lector conoce, sin duda, que en el Egipto faraónico de los ptolomeos, Eratóstenes halló la longitud de la circunferencia de la Tierra, asomándose a un pozo que refl ejaba los rayos del Sol. Pero quizá le sorprenda saber que, de todo el... more
El lector conoce, sin duda, que en el Egipto faraónico de los ptolomeos, Eratóstenes halló la longitud de la circunferencia de la Tierra, asomándose a un pozo que refl ejaba los rayos del Sol. Pero quizá le sorprenda saber que, de todo el antiguo mundo occidental, solo allí podía hacerse ese descubrimiento. Otra historia mil veces repetida cuenta que Tales de Mileto, con la sola ayuda de un palo, pudo determinar la altura de la Gran Pirámide, pero un poco de astronomía plantea hoy serias dudas sobre la versión popular. En esta obra se recogen muchas historias antiguas, porque es probable que la invención de las matemáticas —pues invención fue— viniese impulsada en su origen por el deseo de medir el mundo. No en vano Aristarco, utilizando sus eclipses como una regla graduada, fue capaz de decir a sus coetáneos cuán lejos estaba el Sol y cuán cerca la Luna. Así, de la mano de personajes como Tales de Mileto, Eratóstenes, Al-Juarismi, Arquímedes, Bach y Beethoven, este libro nos pasea ...
ABSTRACT Mooshak is an automatic online judge designed for evaluating algorithmic correction in programming contests, which has been also used in academia. In this paper we report preliminary results regarding an experiment involving the... more
ABSTRACT Mooshak is an automatic online judge designed for evaluating algorithmic correction in programming contests, which has been also used in academia. In this paper we report preliminary results regarding an experiment involving the use of the tool in a course on algorithm design and analysis, for students in their second year of computer science degrees. The study was conducted in order to measure students' general opinion about using Mooshak, and whether it could have positive effects on programming habits and other variables such as the drop-out rate. Results show that students did not embrace the experience in general, as seen through a reliable questionnaire that was constructed to evaluate students' acceptance of Mooshak. Additionally, the online judge did not help to reduce the drop-out rate, as has been previously reported in the literature. Nevertheless, the use of Mooshak provided several benefits, such as a considerable increase in the percentage of students who use debugging tools, or a better reception of the online judge among a group of online students. Finally, several guidelines related to the lessons learned from the experiment are given in order to use Mooshak successfully for teaching.
Research Interests:
Eden is a parallel extension of Haskell allowing the programmer to ex- plicitly specify which expressions must be evaluated as parallel processes. Eden is implemented by modifying the Glasgow Haskell Compiler (GHC). This decision has... more
Eden is a parallel extension of Haskell allowing the programmer to ex- plicitly specify which expressions must be evaluated as parallel processes. Eden is implemented by modifying the Glasgow Haskell Compiler (GHC). This decision has saved a lot of work but has also produced some drawbacks: Some optimiz- ing transformations done by GHC are not convenient for Eden, either because
Research Interests:
Research Interests:
Research Interests:
Abstract Past research efforts on the educational effectiveness of software animations agree in the necessity of active involvement of users, ie students and teachers. However, one of the main obstacles is the technical difficulty to... more
Abstract Past research efforts on the educational effectiveness of software animations agree in the necessity of active involvement of users, ie students and teachers. However, one of the main obstacles is the technical difficulty to produce them. Our approach seeks to ...
Research Interests:
ABSTRACT The Test Driven Design (TDD) methodology [4, 23, 8] is currently a very common approach for programming and software engineering learning. On-line judges are widely used in everyday teaching, and their use in the scope of... more
ABSTRACT The Test Driven Design (TDD) methodology [4, 23, 8] is currently a very common approach for programming and software engineering learning. On-line judges are widely used in everyday teaching, and their use in the scope of programming contests is currently especially well known. There are good tools and collections of programming problems available for exams as well as for contests. We have developed a simple, light, and practical open laboratory. The term open is used here in two senses: It is free for students to use and free to download and distribute under the GPL license. This laboratory hosts programming problems, it allows the instructor to easily add new ones, and it also automatically assesses the solutions sent by the students. In addition to the system, we have developed a collection of programming problems for CS1/2, designed from a pedagogical point of view and covering several levels of difficulty.
Research Interests:
. We present a collection of skeletons that are appropriate toinstantiate process systems in the functional-concurrent language Eden[BLOM96]. Eden is a functional language providing facilities for the explicitdefinition and instantiation... more
. We present a collection of skeletons that are appropriate toinstantiate process systems in the functional-concurrent language Eden[BLOM96]. Eden is a functional language providing facilities for the explicitdefinition and instantiation of processes. Skeletons in this languageare just higher order functions having process definitions as parameters.We introduce skeletons for both transformational (i.e. deterministic) andreactive (usually non deterministic) process topologies and...
Research Interests:
Research Interests:
Abstract The test-first approach has been repeatedly advocated to learn both programming and software engineering. Besides, automatic graders are broadly used, both in programming contests and in everyday teaching. The sort of problems... more
Abstract The test-first approach has been repeatedly advocated to learn both programming and software engineering. Besides, automatic graders are broadly used, both in programming contests and in everyday teaching. The sort of problems stated in both ...
Research Interests:
The article describes an IDE for functional programming, called WinHIPE. It provides an interactive and flexible tracer, as well as a powerful visualization and animation system. The former tool is based on the rewriting model of... more
The article describes an IDE for functional programming, called WinHIPE. It provides an interactive and flexible tracer, as well as a powerful visualization and animation system. The former tool is based on the rewriting model of evaluation, and the latter provides automatic generation of visualizations and animations, friendly support for customization, maintenance and exportation of animations to the Web, and facilities to cope with large scale. Its main advantage over other visualization systems is an effortless approach to animation creation and maintenance, based on generating visualizations and animations automatically, as a side effect of program execution. Finally, we briefly describe our experience using the system during several years in educational settings.
Research Interests:
Two complementary classes of assignments, local and comprehensive, are advocated with different goals and features. The aim of describing both classes of assignments provides guidance to teachers in their design. Local assignments ideally... more
Two complementary classes of assignments, local and comprehensive, are advocated with different goals and features. The aim of describing both classes of assignments provides guidance to teachers in their design. Local assignments ideally provide an in-depth coverage of only one concept, whereas global ones ideally provide a breadth coverage of most of the concepts studied in a period of time. Both classes of assignments are illustrated with two motivating programming examples: "rolling dice" and "lights out," respectively.
Page 1. Calculating Encoding and Decoding Functions for Prefix Codes Cristdbal Pareja-Flores 1 and J. Angel Vel£zquez-Iturbide 2 Abstract The transformational model of program development allows obtaining programs correct by construction.... more
Page 1. Calculating Encoding and Decoding Functions for Prefix Codes Cristdbal Pareja-Flores 1 and J. Angel Vel£zquez-Iturbide 2 Abstract The transformational model of program development allows obtaining programs correct by construction. ...
Research Interests:
The unfold/fold system [BD77] is a simple to use and yet general program transformation system. We are trying to extend it to make synthesis of functions. ln this way, we would have a simple and useful tool to design naive algorithms,... more
The unfold/fold system [BD77] is a simple to use and yet general program transformation system. We are trying to extend it to make synthesis of functions. ln this way, we would have a simple and useful tool to design naive algorithms, which could later be transformed into ...
Research Interests:
We present eXercita, a system designed to archive and publish programming exercises. It consists of a repository of structured documents, each one describing a complete exercise (problem statement, solution, history, examples...), and... more
We present eXercita, a system designed to archive and publish programming exercises. It consists of a repository of structured documents, each one describing a complete exercise (problem statement, solution, history, examples...), and several tools to manage it. Documents are written in the eXercita language, which is an extension of the documental language LaTeX. Programming exercises can be catalogued and searched