12 Search Results for "Paiva, José Carlos"


Document
Short Paper
Sifu Reloaded: An Open-Source Gamified Web-Based CyberSecurity Awareness Platform (Short Paper)

Authors: José Carlos Paiva, Ricardo Queirós, and Tiago Gasiba

Published in: OASIcs, Volume 112, 4th International Computer Programming Education Conference (ICPEC 2023)


Abstract
Malicious actors can cause severe damage by exploiting software vulnerabilities. In industrial settings, where critical infrastructures rely on software, handling these vulnerabilities with utmost care is crucial to prevent catastrophic consequences. For this purpose, a cybersecurity awareness platform called Sifu was created. This platform automatically assesses challenges to verify its compliance to secure coding guidelines. Using an artificial intelligence method, an interactive component provides players with solution-guiding hints. This paper presents an improved version of the Sifu platform, which evolves the tool in the following aspects: architecture, data model and user interface. The new platform separates the server and client-side using a REST API architecture. It also accommodates an intrinsic and richer layer of gamification, which explores the concept of game rooms at an organizational and gamification level. Finally, it offers an improved interactive training experience for individuals and organizations through a responsive and intuitive single-page web application.

Cite as

José Carlos Paiva, Ricardo Queirós, and Tiago Gasiba. Sifu Reloaded: An Open-Source Gamified Web-Based CyberSecurity Awareness Platform (Short Paper). In 4th International Computer Programming Education Conference (ICPEC 2023). Open Access Series in Informatics (OASIcs), Volume 112, pp. 5:1-5:8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)


Copy BibTex To Clipboard

@InProceedings{paiva_et_al:OASIcs.ICPEC.2023.5,
  author =	{Paiva, Jos\'{e} Carlos and Queir\'{o}s, Ricardo and Gasiba, Tiago},
  title =	{{Sifu Reloaded: An Open-Source Gamified Web-Based CyberSecurity Awareness Platform}},
  booktitle =	{4th International Computer Programming Education Conference (ICPEC 2023)},
  pages =	{5:1--5:8},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-290-7},
  ISSN =	{2190-6807},
  year =	{2023},
  volume =	{112},
  editor =	{Peixoto de Queir\'{o}s, Ricardo Alexandre and Teixeira Pinto, M\'{a}rio Paulo},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ICPEC.2023.5},
  URN =		{urn:nbn:de:0030-drops-185014},
  doi =		{10.4230/OASIcs.ICPEC.2023.5},
  annote =	{Keywords: learning environment, cybersecurity, challenges, gamification, automatic assessment}
}
Document
Programming Exercises Interoperability: The Case of a Non-Picky Consumer

Authors: Ricardo Queirós, José Carlos Paiva, and José Paulo Leal

Published in: OASIcs, Volume 94, 10th Symposium on Languages, Applications and Technologies (SLATE 2021)


Abstract
Problem-solving is considered one of the most important skills to retain in the coming decades for building a modern and proactive society. In this realm, computer programming learning is vital to enrich those skills. Practicing in this area boils down to solve programming exercises. In order to foster this practice, it is necessary to provide students with the best of the breed automated tools and a good set of exercises in a fair quantity covering the curricula of a typical programming course. Despite the increasing appearance of automated tools such as program evaluators, gamification engines and sophisticated web environments, access to exercises remains problematic. In fact, although the existence of several code repositories (most for feed computer programming contests), the majority of them store the exercises in proprietary formats and without any access facilities hindering their use. This leaves no other option to teachers but to manually create programming exercises which is time-consuming and error prone, or simply, reuse the same exercises, from previous years, which is considered as a detrimental and limiting approach to enhance multi-faceted and creative programmers. The article surveys the current interoperability efforts on programming exercises, more precisely, in terms of serialization formats and communication protocols. This study will sustain the selection of an API to feed a code playground called LearnJS with random programming exercises.

Cite as

Ricardo Queirós, José Carlos Paiva, and José Paulo Leal. Programming Exercises Interoperability: The Case of a Non-Picky Consumer. In 10th Symposium on Languages, Applications and Technologies (SLATE 2021). Open Access Series in Informatics (OASIcs), Volume 94, pp. 5:1-5:9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)


Copy BibTex To Clipboard

@InProceedings{queiros_et_al:OASIcs.SLATE.2021.5,
  author =	{Queir\'{o}s, Ricardo and Paiva, Jos\'{e} Carlos and Leal, Jos\'{e} Paulo},
  title =	{{Programming Exercises Interoperability: The Case of a Non-Picky Consumer}},
  booktitle =	{10th Symposium on Languages, Applications and Technologies (SLATE 2021)},
  pages =	{5:1--5:9},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-202-0},
  ISSN =	{2190-6807},
  year =	{2021},
  volume =	{94},
  editor =	{Queir\'{o}s, Ricardo and Pinto, M\'{a}rio and Sim\~{o}es, Alberto and Portela, Filipe and Pereira, Maria Jo\~{a}o},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2021.5},
  URN =		{urn:nbn:de:0030-drops-144220},
  doi =		{10.4230/OASIcs.SLATE.2021.5},
  annote =	{Keywords: programming exercises format, interoperability, automated assessment, learning programming}
}
Document
Short Paper
Mooshak’s Diet Update: Introducing YAPExIL Format to Mooshak (Short Paper)

Authors: José Carlos Paiva, Ricardo Queirós, and José Paulo Leal

Published in: OASIcs, Volume 94, 10th Symposium on Languages, Applications and Technologies (SLATE 2021)


Abstract
Practice is pivotal in learning programming. As many other automated assessment tools for programming assignments, Mooshak has been adopted by numerous educational practitioners to support them in delivering timely and accurate feedback to students during exercise solving. These tools specialize in the delivery and assessment of blank-sheet coding questions. However, the different phases of a student’s learning path may demand distinct types of exercises (e.g., bug fix and block sorting) to foster new competencies such as debugging programs and understanding unknown source code or, otherwise, to break the routine and keep engagement. Recently, a format for describing programming exercises - YAPExIL -, supporting different types of activities, has been introduced. Unfortunately, no automated assessment tool yet supports this novel format. This paper describes a JavaScript library to transform YAPExIL packages into Mooshak problem packages (i.e., MEF format), keeping support for all exercise types. Moreover, its integration in an exercise authoring tool is described.

Cite as

José Carlos Paiva, Ricardo Queirós, and José Paulo Leal. Mooshak’s Diet Update: Introducing YAPExIL Format to Mooshak (Short Paper). In 10th Symposium on Languages, Applications and Technologies (SLATE 2021). Open Access Series in Informatics (OASIcs), Volume 94, pp. 9:1-9:7, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)


Copy BibTex To Clipboard

@InProceedings{paiva_et_al:OASIcs.SLATE.2021.9,
  author =	{Paiva, Jos\'{e} Carlos and Queir\'{o}s, Ricardo and Leal, Jos\'{e} Paulo},
  title =	{{Mooshak’s Diet Update: Introducing YAPExIL Format to Mooshak}},
  booktitle =	{10th Symposium on Languages, Applications and Technologies (SLATE 2021)},
  pages =	{9:1--9:7},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-202-0},
  ISSN =	{2190-6807},
  year =	{2021},
  volume =	{94},
  editor =	{Queir\'{o}s, Ricardo and Pinto, M\'{a}rio and Sim\~{o}es, Alberto and Portela, Filipe and Pereira, Maria Jo\~{a}o},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2021.9},
  URN =		{urn:nbn:de:0030-drops-144261},
  doi =		{10.4230/OASIcs.SLATE.2021.9},
  annote =	{Keywords: programming exercises format, interoperability, automated assessment, learning programming}
}
Document
Short Paper
An Open-Source Gamified Programming Learning Environment (Short Paper)

Authors: José Carlos Paiva, Ricardo Queirós, José Paulo Leal, Jakub Swacha, and Filip Miernik

Published in: OASIcs, Volume 91, Second International Computer Programming Education Conference (ICPEC 2021)


Abstract
The importance of e-learning tools facilitating the process of learning to program is growing, especially as the pandemic-caused lockdown enforced distance learning in many countries. The key success factor in this process is the provision of an instant and relevant feedback to students. In this paper, we describe a novel open-source programming learning environment featuring automatic assessment of students' solutions and customized gamification. This environment has been developed as a part of the FGPE framework.

Cite as

José Carlos Paiva, Ricardo Queirós, José Paulo Leal, Jakub Swacha, and Filip Miernik. An Open-Source Gamified Programming Learning Environment (Short Paper). In Second International Computer Programming Education Conference (ICPEC 2021). Open Access Series in Informatics (OASIcs), Volume 91, pp. 5:1-5:8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)


Copy BibTex To Clipboard

@InProceedings{paiva_et_al:OASIcs.ICPEC.2021.5,
  author =	{Paiva, Jos\'{e} Carlos and Queir\'{o}s, Ricardo and Leal, Jos\'{e} Paulo and Swacha, Jakub and Miernik, Filip},
  title =	{{An Open-Source Gamified Programming Learning Environment}},
  booktitle =	{Second International Computer Programming Education Conference (ICPEC 2021)},
  pages =	{5:1--5:8},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-194-8},
  ISSN =	{2190-6807},
  year =	{2021},
  volume =	{91},
  editor =	{Henriques, Pedro Rangel and Portela, Filipe and Queir\'{o}s, Ricardo and Sim\~{o}es, Alberto},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ICPEC.2021.5},
  URN =		{urn:nbn:de:0030-drops-142210},
  doi =		{10.4230/OASIcs.ICPEC.2021.5},
  annote =	{Keywords: learning environment, programming exercises, gamification, programming learning, automatic assessment}
}
Document
Short Paper
Yet Another Programming Exercises Interoperability Language (Short Paper)

Authors: José Carlos Paiva, Ricardo Queirós, José Paulo Leal, and Jakub Swacha

Published in: OASIcs, Volume 83, 9th Symposium on Languages, Applications and Technologies (SLATE 2020)


Abstract
This paper introduces Yet Another Programming Exercises Interoperability Language (YAPExIL), a JSON format that aims to: (1) support several kinds of programming exercises behind traditional blank sheet activities; (2) capitalize on expressiveness and interoperability to constitute a strong candidate to standard open programming exercises format. To this end, it builds upon an existing open format named PExIL, by mitigating its weaknesses and extending its support for a handful of exercise types. YAPExIL is published as an open format, independent from any commercial vendor, and supported with dedicated open-source software.

Cite as

José Carlos Paiva, Ricardo Queirós, José Paulo Leal, and Jakub Swacha. Yet Another Programming Exercises Interoperability Language (Short Paper). In 9th Symposium on Languages, Applications and Technologies (SLATE 2020). Open Access Series in Informatics (OASIcs), Volume 83, pp. 14:1-14:8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)


Copy BibTex To Clipboard

@InProceedings{paiva_et_al:OASIcs.SLATE.2020.14,
  author =	{Paiva, Jos\'{e} Carlos and Queir\'{o}s, Ricardo and Leal, Jos\'{e} Paulo and Swacha, Jakub},
  title =	{{Yet Another Programming Exercises Interoperability Language}},
  booktitle =	{9th Symposium on Languages, Applications and Technologies (SLATE 2020)},
  pages =	{14:1--14:8},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-165-8},
  ISSN =	{2190-6807},
  year =	{2020},
  volume =	{83},
  editor =	{Sim\~{o}es, Alberto and Henriques, Pedro Rangel and Queir\'{o}s, Ricardo},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2020.14},
  URN =		{urn:nbn:de:0030-drops-130270},
  doi =		{10.4230/OASIcs.SLATE.2020.14},
  annote =	{Keywords: programming exercises format, interoperability, automated assessment, programming learning}
}
Document
Game-Based Coding Challenges to Foster Programming Practice

Authors: José Carlos Paiva, José Paulo Leal, and Ricardo Queirós

Published in: OASIcs, Volume 81, First International Computer Programming Education Conference (ICPEC 2020)


Abstract
The practice is the crux of learning to program. Automated assessment plays a key role in enabling timely feedback without access to teachers but alone is insufficient to engage students and maximize the outcome of their practice. Graphical feedback and game-thinking promote positive effects on students' motivation as shown by some serious programming games, but those games are complex to create and adapt. This paper presents Asura, an environment for assessment of game-based coding challenges, built on a specialized framework, in which students are invited to develop a software agent (SA) to play it. During the coding phase, students can take advantage of the graphical feedback to complete the proposed task. Some challenges also encourage students to think of a SA that plays in a setting with interaction among SAs. In such a case, the environment supports the creation and visualization of tournaments among submitted agents. Furthermore, the validation of this environment from the learners' perspective is also described.

Cite as

José Carlos Paiva, José Paulo Leal, and Ricardo Queirós. Game-Based Coding Challenges to Foster Programming Practice. In First International Computer Programming Education Conference (ICPEC 2020). Open Access Series in Informatics (OASIcs), Volume 81, pp. 18:1-18:11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)


Copy BibTex To Clipboard

@InProceedings{paiva_et_al:OASIcs.ICPEC.2020.18,
  author =	{Paiva, Jos\'{e} Carlos and Leal, Jos\'{e} Paulo and Queir\'{o}s, Ricardo},
  title =	{{Game-Based Coding Challenges to Foster Programming Practice}},
  booktitle =	{First International Computer Programming Education Conference (ICPEC 2020)},
  pages =	{18:1--18:11},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-153-5},
  ISSN =	{2190-6807},
  year =	{2020},
  volume =	{81},
  editor =	{Queir\'{o}s, Ricardo and Portela, Filipe and Pinto, M\'{a}rio and Sim\~{o}es, Alberto},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ICPEC.2020.18},
  URN =		{urn:nbn:de:0030-drops-123051},
  doi =		{10.4230/OASIcs.ICPEC.2020.18},
  annote =	{Keywords: games, automatic assessment, graphical feedback, programming, learning, challenges}
}
Document
A Roadmap to Gamify Programming Education

Authors: Jakub Swacha, Ricardo Queirós, José Carlos Paiva, José Paulo Leal, Sokol Kosta, and Raffaele Montella

Published in: OASIcs, Volume 81, First International Computer Programming Education Conference (ICPEC 2020)


Abstract
Learning programming relies on practicing it which is often hampered by the barrier of difficulty. The combined use of automated assessment, which provides fast feedback to the students experimenting with their code, and gamification, which provides additional motivation for the students to intensify their learning effort, can help pass the barrier of difficulty in learning programming. In such environment, students keep receiving the relevant feedback no matter how many times they try (thanks to automated assessment), and their engagement is retained (thanks to gamification). While there is a number of open software and programming exercise collections supporting automated assessment, up to this date, there are no available open collections of gamified programming exercises, no open interactive programming learning environment that would support such exercises, and even no open standard for the representation of such exercises so that they could be developed in different educational institutions and shared among them. This gap is addressed by Framework for Gamified Programming Education (FGPE), an international project whose primary objective is to provide necessary prerequisites for the application of gamification to programming education, including a dedicated gamification scheme, a gamified exercise format and exercises conforming to it, software for editing the exercises and an interactive learning environment capable of presenting them to students. This paper presents the FGPE project, its architecture and main components, as well as the results achieved so far.

Cite as

Jakub Swacha, Ricardo Queirós, José Carlos Paiva, José Paulo Leal, Sokol Kosta, and Raffaele Montella. A Roadmap to Gamify Programming Education. In First International Computer Programming Education Conference (ICPEC 2020). Open Access Series in Informatics (OASIcs), Volume 81, pp. 26:1-26:7, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)


Copy BibTex To Clipboard

@InProceedings{swacha_et_al:OASIcs.ICPEC.2020.26,
  author =	{Swacha, Jakub and Queir\'{o}s, Ricardo and Paiva, Jos\'{e} Carlos and Leal, Jos\'{e} Paulo and Kosta, Sokol and Montella, Raffaele},
  title =	{{A Roadmap to Gamify Programming Education}},
  booktitle =	{First International Computer Programming Education Conference (ICPEC 2020)},
  pages =	{26:1--26:7},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-153-5},
  ISSN =	{2190-6807},
  year =	{2020},
  volume =	{81},
  editor =	{Queir\'{o}s, Ricardo and Portela, Filipe and Pinto, M\'{a}rio and Sim\~{o}es, Alberto},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ICPEC.2020.26},
  URN =		{urn:nbn:de:0030-drops-123136},
  doi =		{10.4230/OASIcs.ICPEC.2020.26},
  annote =	{Keywords: gamification, programming, learning, automatic assessment, programming exercises}
}
Document
Short Paper
Moozz: Assessment of Quizzes in Mooshak 2.0 (Short Paper)

Authors: Helder Correia, José Paulo Leal, and José Carlos Paiva

Published in: OASIcs, Volume 62, 7th Symposium on Languages, Applications and Technologies (SLATE 2018)


Abstract
Quizzes are a widely used form of assessment, supported in many e-learning systems. Mooshak is a web system which supports automated assessment in computer science. This paper presents Moozz, a quiz assessment environment for Mooshak 2.0, with its own XML definition for describing quizzes. This definition is used for: interoperability with different e-learning systems, generating HTML-based forms, storing student answers, marking final submissions and generating feedback. Furthermore, Moozz also includes an authoring tool for creating quizzes. The paper describes Moozz, its quiz definition language and architecture, and details its implementation.

Cite as

Helder Correia, José Paulo Leal, and José Carlos Paiva. Moozz: Assessment of Quizzes in Mooshak 2.0 (Short Paper). In 7th Symposium on Languages, Applications and Technologies (SLATE 2018). Open Access Series in Informatics (OASIcs), Volume 62, pp. 3:1-3:8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)


Copy BibTex To Clipboard

@InProceedings{correia_et_al:OASIcs.SLATE.2018.3,
  author =	{Correia, Helder and Leal, Jos\'{e} Paulo and Paiva, Jos\'{e} Carlos},
  title =	{{Moozz: Assessment of Quizzes in Mooshak 2.0}},
  booktitle =	{7th Symposium on Languages, Applications and Technologies (SLATE 2018)},
  pages =	{3:1--3:8},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-072-9},
  ISSN =	{2190-6807},
  year =	{2018},
  volume =	{62},
  editor =	{Henriques, Pedro Rangel and Leal, Jos\'{e} Paulo and Leit\~{a}o, Ant\'{o}nio Menezes and Guinovart, Xavier G\'{o}mez},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2018.3},
  URN =		{urn:nbn:de:0030-drops-92615},
  doi =		{10.4230/OASIcs.SLATE.2018.3},
  annote =	{Keywords: quiz, automated assessment, authoring, XML, feedback, e-learning}
}
Document
Short Paper
Raccode: An Eclipse Plugin for Assessment of Programming Exercises (Short Paper)

Authors: André Silva, José Paulo Leal, and José Carlos Paiva

Published in: OASIcs, Volume 62, 7th Symposium on Languages, Applications and Technologies (SLATE 2018)


Abstract
IDEs are environments specialized in support during the development of programs. They contain several utilities to code, run, debug, and deploy programs quickly. However, they do not provide the automatic assessment of programming exercises, which is required in both learning and competitive programming environment. Therefore, IDEs are often underestimated in these contexts and replaced by basic code editors. Yet, IDEs have unique features which are essential for programmers, such as the debugger or the package explorer. This paper presents Raccode, a plugin for assessment of programming exercises in Eclipse. This plugin integrates with Mooshak to combine the diverse capabilities of an IDE, like Eclipse, with the automatic evaluation of exercises, clarification requests, printouts, balloons, and rankings. It can be used both in competitive and learning environments. The paper describes Raccode, its concept, architecture and design.

Cite as

André Silva, José Paulo Leal, and José Carlos Paiva. Raccode: An Eclipse Plugin for Assessment of Programming Exercises (Short Paper). In 7th Symposium on Languages, Applications and Technologies (SLATE 2018). Open Access Series in Informatics (OASIcs), Volume 62, pp. 4:1-4:8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)


Copy BibTex To Clipboard

@InProceedings{silva_et_al:OASIcs.SLATE.2018.4,
  author =	{Silva, Andr\'{e} and Leal, Jos\'{e} Paulo and Paiva, Jos\'{e} Carlos},
  title =	{{Raccode: An Eclipse Plugin for Assessment of Programming Exercises}},
  booktitle =	{7th Symposium on Languages, Applications and Technologies (SLATE 2018)},
  pages =	{4:1--4:8},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-072-9},
  ISSN =	{2190-6807},
  year =	{2018},
  volume =	{62},
  editor =	{Henriques, Pedro Rangel and Leal, Jos\'{e} Paulo and Leit\~{a}o, Ant\'{o}nio Menezes and Guinovart, Xavier G\'{o}mez},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2018.4},
  URN =		{urn:nbn:de:0030-drops-92621},
  doi =		{10.4230/OASIcs.SLATE.2018.4},
  annote =	{Keywords: automatic evaluation, programming, IDE, learning, competition}
}
Document
Short Paper
Asura: A Game-Based Assessment Environment for Mooshak (Short Paper)

Authors: José Carlos Paiva and José Paulo Leal

Published in: OASIcs, Volume 62, 7th Symposium on Languages, Applications and Technologies (SLATE 2018)


Abstract
Learning to program is hard. Students need to remain motivated to keep practicing and to overcome their difficulties. Several approaches have been proposed to foster students' motivation. As most people enjoy playing games of some kind and play on a regular basis, the use of games is one of the most widely spread approaches. However, taking full advantage of games to teach specific concepts of programming requires much effort. This paper presents Asura, a game-based assessment environment built on top of Mooshak that challenges students to code Software Agents (SAs) to play a game, allowing them to test the SAs against each others' SAs and watch a movie of the test. Once the challenge development stage ends, teachers are able to organize game-like tournaments among SAs. One of the key features of Asura is that it provides a means to reduce the required effort of building game-based challenges up to that of creating traditional programming exercises.

Cite as

José Carlos Paiva and José Paulo Leal. Asura: A Game-Based Assessment Environment for Mooshak (Short Paper). In 7th Symposium on Languages, Applications and Technologies (SLATE 2018). Open Access Series in Informatics (OASIcs), Volume 62, pp. 9:1-9:9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)


Copy BibTex To Clipboard

@InProceedings{paiva_et_al:OASIcs.SLATE.2018.9,
  author =	{Paiva, Jos\'{e} Carlos and Leal, Jos\'{e} Paulo},
  title =	{{Asura: A Game-Based Assessment Environment for Mooshak}},
  booktitle =	{7th Symposium on Languages, Applications and Technologies (SLATE 2018)},
  pages =	{9:1--9:9},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-072-9},
  ISSN =	{2190-6807},
  year =	{2018},
  volume =	{62},
  editor =	{Henriques, Pedro Rangel and Leal, Jos\'{e} Paulo and Leit\~{a}o, Ant\'{o}nio Menezes and Guinovart, Xavier G\'{o}mez},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2018.9},
  URN =		{urn:nbn:de:0030-drops-92677},
  doi =		{10.4230/OASIcs.SLATE.2018.9},
  annote =	{Keywords: games, programming, learning, graphical feedback, tournament}
}
Document
Enhancing Feedback to Students in Automated Diagram Assessment

Authors: Helder Correia, José Paulo Leal, and José Carlos Paiva

Published in: OASIcs, Volume 56, 6th Symposium on Languages, Applications and Technologies (SLATE 2017)


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 differences 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.

Cite as

Helder Correia, José Paulo Leal, and José Carlos Paiva. Enhancing Feedback to Students in Automated Diagram Assessment. In 6th Symposium on Languages, Applications and Technologies (SLATE 2017). Open Access Series in Informatics (OASIcs), Volume 56, pp. 11:1-11:8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)


Copy BibTex To Clipboard

@InProceedings{correia_et_al:OASIcs.SLATE.2017.11,
  author =	{Correia, Helder and Leal, Jos\'{e} Paulo and Paiva, Jos\'{e} Carlos},
  title =	{{Enhancing Feedback to Students in Automated Diagram Assessment}},
  booktitle =	{6th Symposium on Languages, Applications and Technologies (SLATE 2017)},
  pages =	{11:1--11:8},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-056-9},
  ISSN =	{2190-6807},
  year =	{2017},
  volume =	{56},
  editor =	{Queir\'{o}s, Ricardo and Pinto, M\'{a}rio and Sim\~{o}es, Alberto and Leal, Jos\'{e} Paulo and Varanda, Maria Jo\~{a}o},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2017.11},
  URN =		{urn:nbn:de:0030-drops-79577},
  doi =		{10.4230/OASIcs.SLATE.2017.11},
  annote =	{Keywords: automated assessment, diagram assessment, feedback generation,language environments, e-learning}
}
Document
Eshu: An Extensible Web Editor for Diagrammatic Languages

Authors: José Paulo Leal, Helder Correia, and José Carlos Paiva

Published in: OASIcs, Volume 51, 5th Symposium on Languages, Applications and Technologies (SLATE'16) (2016)


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 entity-relationship diagrams, that served as basis for an usability evaluation.

Cite as

José Paulo Leal, Helder Correia, and José Carlos Paiva. Eshu: An Extensible Web Editor for Diagrammatic Languages. In 5th Symposium on Languages, Applications and Technologies (SLATE'16). Open Access Series in Informatics (OASIcs), Volume 51, pp. 12:1-12:13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)


Copy BibTex To Clipboard

@InProceedings{leal_et_al:OASIcs.SLATE.2016.12,
  author =	{Leal, Jos\'{e} Paulo and Correia, Helder and Paiva, Jos\'{e} Carlos},
  title =	{{Eshu: An Extensible Web Editor for Diagrammatic Languages}},
  booktitle =	{5th Symposium on Languages, Applications and Technologies (SLATE'16)},
  pages =	{12:1--12:13},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-006-4},
  ISSN =	{2190-6807},
  year =	{2016},
  volume =	{51},
  editor =	{Mernik, Marjan and Leal, Jos\'{e} Paulo and Gon\c{c}alo Oliveira, Hugo},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2016.12},
  URN =		{urn:nbn:de:0030-drops-60178},
  doi =		{10.4230/OASIcs.SLATE.2016.12},
  annote =	{Keywords: Diagram assessment, language environments, automated assessment, e-learning}
}
  • Refine by Author
  • 12 Paiva, José Carlos
  • 11 Leal, José Paulo
  • 7 Queirós, Ricardo
  • 3 Correia, Helder
  • 3 Swacha, Jakub
  • Show More...

  • Refine by Classification
  • 8 Applied computing → Interactive learning environments
  • 6 Applied computing → E-learning
  • 5 Applied computing → Computer-managed instruction
  • 1 Applied computing → Computer-assisted instruction
  • 1 Security and privacy
  • Show More...

  • Refine by Keyword
  • 6 automated assessment
  • 4 automatic assessment
  • 4 learning
  • 4 programming
  • 3 e-learning
  • Show More...

  • Refine by Type
  • 12 document

  • Refine by Publication Year
  • 3 2018
  • 3 2020
  • 3 2021
  • 1 2016
  • 1 2017
  • Show More...

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail