Network


Latest external collaboration on country level. Dive into details by clicking on the dots.

Hotspot


Dive into the research topics where José Carlos Paiva is active.

Publication


Featured researches published by José Carlos Paiva.


symposium on languages applications and technologies | 2015

Odin: A Service for Gamification of Learning Activities

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

Enki: A Pedagogical Services Aggregator for Learning Programming Languages

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

Integrating rich learning applications in LMS

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

Gamification of learning activities with the Odin service

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

Eshu: An Extensible Web Editor for Diagrammatic Languages.

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

Inquietações e mudanças na Educação Artística: mais de que nunca uma urgência

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

Improving Diagram Assessment in Mooshak

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

Learning Computer Science Languages in Enki

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

Enhancing Feedback to Students in Automated Diagram Assessment.

Helder Correia; José Paulo Leal; José Carlos Paiva


symposium on languages, applications and technologies | 2018

Asura: A Game-Based Assessment Environment for Mooshak (Short Paper).

José Carlos Paiva; José Paulo Leal

Collaboration


Dive into the José Carlos Paiva's collaboration.

Top Co-Authors

Avatar
Top Co-Authors

Avatar
Researchain Logo
Decentralizing Knowledge