José Carlos Paiva
University of Porto
Network
Latest external collaboration on country level. Dive into details by clicking on the dots.
Publication
Featured researches published by José Carlos Paiva.
symposium on languages applications and technologies | 2015
José Carlos Paiva; José Paulo Leal; Ricardo Queirós
Existing gamification services have features that preclude their use by e-learning tools. Odin is a gamification service that mimics the API of state-of-the-art services without these limitations. This paper describes Odin, its role in an e-learning system architecture requiring gamification, and details its implementation. The validation of Odin involved the creation of a small e-learning game, integrated in a Learning Management System (LMS) using the Learning Tools Interoperability (LTI) specification.
integrating technology into computer science education | 2016
José Carlos Paiva; José Paulo Leal; Ricardo Queirós
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.
Springer Lecture Notes in Educational Technology | 2016
Ricardo Queirós; José Paulo Leal; José Carlos Paiva
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.
Computer Science and Information Systems | 2016
José Carlos Paiva; José Paulo Leal; Ricardo Queirós
Existing gamification services have features that preclude their use by e-learning tools. Odin is a gamification service that mimics the API of state-of-theart services without these limitations. This paper presents Odin as a gamification service for learning activities, describes its role in an e-learning system architecture requiring gamification, and details its implementation. The validation of Odin involved the creation of a small e-learning game, integrated in a Learning Management System (LMS) using the Learning Tools Interoperability (LTI) specification. Odin was also integrated in an e-learning tool that provides formative assessment in online and hybrid courses in an adaptive and engaging way.
symposium on languages, applications and technologies | 2016
José Paulo Leal; Helder Correia; José Carlos Paiva
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 entity-relationship diagrams, that served as basis for an usability evaluation.
Revista GEARTE | 2017
José Carlos Paiva
The article is written in the first person, as an exercise in reflection, from the breadth of political responsibility of an arts education teacher, involved in the crossroads of a controversial time where the dignity and indispensability of the artistic presence in schools faces an ultra liberal offensive that intends to erase it, in favor of a utilitarian school that feeds the needs of the hegemonic system and provides docile and dormant subjects. The controversies that face human dignity in the contemporary world require us to understand that, in the educational field, we do not search for a model that opposes them but that we can create possibilities of confrontation with the new.
International Conference on Technology Enhanced Assessment | 2017
Helder Correia; José Paulo Leal; José Carlos Paiva
Mooshak is a web system with support for assessment in computer science. It was originally developed for programming contest management but evolved to be used also as a pedagogical tool, capitalizing on its programming assessment features. The current version of Mooshak supports other forms of assessment used in computer science, such as diagram assessment. This form of assessment is supported by a set of new features, including a diagram editor, a graph comparator, and an environment for integration of pedagogical activities. The first attempt to integrate these features to support diagram assessment revealed a number of shortcomings, such as the lack of support for multiple diagrammatic languages, ineffective feedback, and usability issues. These shortcomings were addressed by the creation of a diagrammatic language definition language, the introduction of a new component for feedback summarization and a redesign of the diagram editor. This paper describes the design and implementation of these features, as well as their validation.
integrating technology into computer science education | 2016
José Carlos Paiva; José Paulo Leal; Ricardo Queirós
This paper presents an overview and main features of Enki, a web-based learning environment for computer science languages. Enki was designed to be a sort of entry level IDE, aggregating tools for navigating and viewing course materials, for solving exercises and receiving automated feedback, as well as promoting the learning process. Enki uses services from several other systems, namely for content sequencing and recommendation, exercise assessment, and gamification.
symposium on languages, applications and technologies | 2017
Helder Correia; José Paulo Leal; José Carlos Paiva
symposium on languages, applications and technologies | 2018
José Carlos Paiva; José Paulo Leal