2 Search Results for "Saraiva, Jo�o"


Document
Short Paper
SHREWS: A Game with Augmented Reality for Training Computational Thinking (Short Paper)

Authors: Francisco Saraiva, Lázaro V. O. Lima, Cristiana Araújo, Luis Gonzaga Magalhães, and Pedro Rangel Henriques

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


Abstract
This paper proposes a game to help young students training Computational Thinking (CT) skills to aid in solving problems. CT is a problem-solving approach based on picking a complex problem, understand what the problem is, and develop solutions in a way that a computer or human could solve. To help in this task, Augmented Reality(AR) will provide a more engaging visual way of interaction to keep students motivated while they search for solving problems. This benefit is a consequence of the AR capability of providing a visual and dynamic representation of abstract concepts. This work investigates AR and CT concepts and the best way of combining them for training student’s skills to understand software and its effects. Thus, these concepts will be explored for the construction of learning activities to explain and create analogies to understand complex concepts related to computer programs. So the focus of the paper is the introduction of Shrews, the game created in this context. The principle and the proposed architecture are detailed. At the end, there is a description of how the game works and the current state of the prototype. We believe that the immersive experience using AR and CT concepts is one of the important aspects of the game to maintain a motivational approach to students. An exploratory prototype is created to explore the topic of teaching CT skills via playing a video game.

Cite as

Francisco Saraiva, Lázaro V. O. Lima, Cristiana Araújo, Luis Gonzaga Magalhães, and Pedro Rangel Henriques. SHREWS: A Game with Augmented Reality for Training Computational Thinking (Short Paper). In Second International Computer Programming Education Conference (ICPEC 2021). Open Access Series in Informatics (OASIcs), Volume 91, pp. 14:1-14:10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)


Copy BibTex To Clipboard

@InProceedings{saraiva_et_al:OASIcs.ICPEC.2021.14,
  author =	{Saraiva, Francisco and Lima, L\'{a}zaro V. O. and Ara\'{u}jo, Cristiana and Magalh\~{a}es, Luis Gonzaga and Henriques, Pedro Rangel},
  title =	{{SHREWS: A Game with Augmented Reality for Training Computational Thinking}},
  booktitle =	{Second International Computer Programming Education Conference (ICPEC 2021)},
  pages =	{14:1--14:10},
  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.14},
  URN =		{urn:nbn:de:0030-drops-142309},
  doi =		{10.4230/OASIcs.ICPEC.2021.14},
  annote =	{Keywords: Augmented Reality, Computational Thinking, Learning Activity, Game}
}
Document
A Purely Functional Combinator Language for Software Quality Assessment

Authors: Pedro Martins, João Paulo Fernandes, and João Saraiva

Published in: OASIcs, Volume 21, 1st Symposium on Languages, Applications and Technologies (2012)


Abstract
Quality assessment of open source software is becoming an important and active research area. One of the reasons for this recent interest is the consequence of Internet popularity. Nowadays, programming also involves looking for the large set of open source libraries and tools that may be reused when developing our software applications. In order to reuse such open source software artifacts, programmers not only need the guarantee that the reused artifact is certified, but also that independently developed artifacts can be easily combined into a coherent piece of software. In this paper we describe a domain specific language that allows programmers to describe in an abstract level how software artifacts can be combined into powerful software certification processes. This domain specific language is the building block of a web-based, open-source software certification portal. This paper introduces the embedding of such domain specific language as combinator library written in the Haskell programming language. The semantics of this language is expressed via attribute grammars that are embedded in Haskell, which provide a modular and incremental setting to define the combination of software artifacts.

Cite as

Pedro Martins, João Paulo Fernandes, and João Saraiva. A Purely Functional Combinator Language for Software Quality Assessment. In 1st Symposium on Languages, Applications and Technologies. Open Access Series in Informatics (OASIcs), Volume 21, pp. 51-69, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)


Copy BibTex To Clipboard

@InProceedings{martins_et_al:OASIcs.SLATE.2012.51,
  author =	{Martins, Pedro and Fernandes, Jo\~{a}o Paulo and Saraiva, Jo\~{a}o},
  title =	{{A Purely Functional Combinator Language for Software Quality Assessment}},
  booktitle =	{1st Symposium on Languages, Applications and Technologies},
  pages =	{51--69},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-40-8},
  ISSN =	{2190-6807},
  year =	{2012},
  volume =	{21},
  editor =	{Sim\~{o}es, Alberto and Queir\'{o}s, Ricardo and da Cruz, Daniela},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2012.51},
  URN =		{urn:nbn:de:0030-drops-35149},
  doi =		{10.4230/OASIcs.SLATE.2012.51},
  annote =	{Keywords: Process Management, Combinators, Attribute Grammars, Functional Programming}
}
  • Refine by Author
  • 1 Araújo, Cristiana
  • 1 Fernandes, João Paulo
  • 1 Henriques, Pedro Rangel
  • 1 Lima, Lázaro V. O.
  • 1 Magalhães, Luis Gonzaga
  • Show More...

  • Refine by Classification
  • 1 Computing methodologies → Mixed / augmented reality
  • 1 Social and professional topics → Computational thinking

  • Refine by Keyword
  • 1 Attribute Grammars
  • 1 Augmented Reality
  • 1 Combinators
  • 1 Computational Thinking
  • 1 Functional Programming
  • Show More...

  • Refine by Type
  • 2 document

  • Refine by Publication Year
  • 1 2012
  • 1 2021

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