Cookies Policy
We use cookies to improve our site and your experience. By continuing to browse our site you accept our cookie policy. Find out More
Close
  • Menu
Interest
Topics
Details

Details

  • Name

    José Carlos Paiva
  • Cluster

    Computer Science
  • Role

    Research Assistant
  • Since

    01st August 2014
001
Publications

2017

Enhancing Feedback to Students in Automated Diagram Assessment

Authors
Correia, H; Leal, JP; Paiva, JC;

Publication
6th Symposium on Languages, Applications and Technologies, SLATE 2017, June 26-27, 2017, Vila do Conde, Portugal

Abstract
Automated assessment is an essential part of eLearning. Although comparatively easy for multiple choice questions (MCQs), automated assessment is more challenging when exercises involve languages used in computer science. In this particular case, the assessment is more than just grading and must include feedback that leads to the improvement of the students’ performance. This paper presents ongoing work to develop Kora, an automated diagram assessment tool with enhanced feedback, targeted to the multiple diagrammatic languages used in computer science. Kora builds on the experience gained with previous research, namely: a diagram assessment tool to compute di erences between graphs; an IDE inspired web learning environment for computer science languages; and an extensible web diagram editor. Kora has several features to enhance feedback: it distinguishes syntactic and semantic errors, providing specialized feedback in each case; it provides progressive feedback disclosure, controlling the quality and quantity shown to each student after a submission; when possible, it integrates feedback within the diagram editor showing actual nodes and edges on the editor itself. © Hélder Correia, José Paulo Leal, and José Carlos Paiva

2016

Design and implementation of an IDE for learning programming languages using a gamification service

Authors
Paiva, JC; Leal, JP; de Queirós, RAP;

Publication
Gamification-Based E-Learning Strategies for Computer Programming Education

Abstract
This chapter presents the architecture and design of enki, an Integrated Development Environment (IDE) for learning programming languages on massive open online courses (moocs). this environment can be used as a tool by a learning management system (lms) and a typical lms such as moodle can launch it using the learning tool interoperability (lti) api. student authentication tokens are passed via lti, thus integrating enki in the single sign-on domain of the academic institution. the proposed tool has a web user interface similar to those of reference ides, where the learner has access to different integrated tools, from viewing tutorial videos, to solving programming exercises that are automatically evaluated. enki uses several gamification strategies to engage learners, including generic gamifications services provided by odin and the sequencing of educational resources. the course content (videos, pdfs, programming exercises) is progressively disclosed to the learner as he successfully completes exercises. this is similar to what happens in a game, where new levels are unlocked as the previous are completed, thus contributing to the sense of achievement.

2016

Enki: A Pedagogical Services Aggregator for Learning Programming Languages

Authors
Paiva, JoseCarlos; Leal, JosePaulo; Queirós, RicardoAlexandrePeixoto;

Publication
Proceedings of the 2016 ACM Conference on Innovation and Technology in Computer Science Education, ITiCSE 2016, Arequipa, Peru, July 9-13, 2016

Abstract
This paper presents Enki, a web-based IDE that integrates several pedagogical tools designed to engage students in learning programming languages. Enki achieves this goal (1) by sequencing educational resources, either expository or evaluative, (2) by using gamification services to entice students to solve activities, (3) by promoting social interaction and (4) by helping students with activities, providing feedback on submitted solutions. The paper describes Enki, its concept and architecture, details its design and implementation, and covers also its validation.

2016

Eshu: An Extensible Web Editor for Diagrammatic Languages

Authors
Leal, JP; Correia, H; Paiva, JC;

Publication
5th Symposium on Languages, Applications and Technologies, SLATE 2016, June 20-21, 2016, Maribor, Slovenia

Abstract
The corner stone of a language development environment is an editor. For programming languages, several code editors are readily available to be integrated in Web applications. However, only few editors exist for diagrammatic languages. Eshu is an extensible diagram editor, embeddable in Web applications that require diagram interaction, such as modeling tools or e-learning environments. Eshu is a JavaScript library with an API that supports its integration with other components, including importing/exporting diagrams in JSON. Eshu was already integrated in a pedagogical environment with automated diagram assessment, configured for extended entityrelationship diagrams, that served as basis for an usability evaluation. © José Paulo Leal, Helder Correia, and José Carlos Paiva;licensed under Creative Commons License CC-BY.

2016

Integrating Rich Learning Applications in LMS

Authors
Queiros, R; Leal, JP; Paiva, JC;

Publication
STATE-OF-THE-ART AND FUTURE DIRECTIONS OF SMART LEARNING

Abstract
Currently, a learning management system (LMS) plays a central role in any e-learning environment. These environments include systems to handle the pedagogic aspects of the teaching-learning process (e.g. specialized tutors, simulation games) and the academic aspects (e.g. academic management systems). Thus, the potential for interoperability is an important, although over looked, aspect of an LMS. In this paper, we make a comparative study of the interoperability level of the most relevant LMS. We start by defining an application and a specification model. For the application model, we create a basic application that acts as a tool provider for LMS integration. The specification model acts as the API that the LMS should implement to communicate with the tool provider. Based on researches, we select the Learning Tools Interoperability (LTI) from IMS. Finally, we compare the LMS interoperability level defined as the effort made to integrate the application on the study LMS.