2 Search Results for "Gonçalves, Paulo F."

Document
DOI: 10.4230/OASIcs.ICPEC.2020.12
An Arduino Simulator in Classroom - a Case Study

Authors: Paulo F. Gonçalves, João Sá, Anabela Coelho, and João Durães

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

Abstract
The Arduino Platform is increasingly being used as a central component in introductory programming courses of the curricula in middle, high school and even higher education. Given this scenario it is pertinent to understand how the cost-effectiveness, reliability and accessibility of this central component can be improved. We propose the use of an Arduino simulator to improve usability, cost, and class efficiency, allowing for improved and even new forms of use and course benefits. This paper presents and describes an Arduino simulator that we developed for education purposes, and a case study of its use in embedded programming courses from two high-schools. We compared its use against the usual use of real hardware platform analyzing usability, student workload and time efficiency. Our results, that we present and discuss, suggest that there are no apparent drawbacks in using the simulator, and some metrics such as basic exercise-solving efficiency and global effort showed an improvement.
Cite as

Paulo F. Gonçalves, João Sá, Anabela Coelho, and João Durães. An Arduino Simulator in Classroom - a Case Study. In First International Computer Programming Education Conference (ICPEC 2020). Open Access Series in Informatics (OASIcs), Volume 81, pp. 12:1-12:12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)

Copy BibTex To Clipboard

@InProceedings{goncalves_et_al:OASIcs.ICPEC.2020.12,
  author =	{Gon\c{c}alves, Paulo F. and S\'{a}, Jo\~{a}o and Coelho, Anabela and Dur\~{a}es, Jo\~{a}o},
  title =	{{An Arduino Simulator in Classroom - a Case Study}},
  booktitle =	{First International Computer Programming Education Conference (ICPEC 2020)},
  pages =	{12:1--12:12},
  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.12},
  URN =		{urn:nbn:de:0030-drops-122996},
  doi =		{10.4230/OASIcs.ICPEC.2020.12},
  annote =	{Keywords: Arduino, Education, Simulator}
}
Document
DOI: 10.4230/OASIcs.SLATE.2017.2
Towards an Automated Test Bench Environment for Prolog Systems

Authors: Ricardo Gonçalves, Miguel Areias, and Ricardo Rocha

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

Abstract
Software testing and benchmarking is a key component of the software development process. Nowadays, a good practice in big software projects is the Continuous Integration (CI) software development technique. The key idea of CI is to let developers integrate their work as they produce it, instead of doing the integration at the end of each software module. In this paper, we extend a previous work on a benchmark suite for the Yap Prolog system and we propose a fully automated test bench environment for Prolog systems, named Yet Another Prolog Test Bench Environment (YAPTBE), aimed to assist developers in the development and CI of Prolog systems. YAPTBE is based on a cloud computing architecture and relies on the Jenkins framework and in a set of new Jenkins plugins to manage the underneath infrastructure. We present the key design and implementation aspects of YAPTBE and show its most important features, such as its graphical user interface and the automated process that builds and runs Prolog systems and benchmarks.
Cite as

Ricardo Gonçalves, Miguel Areias, and Ricardo Rocha. Towards an Automated Test Bench Environment for Prolog Systems. In 6th Symposium on Languages, Applications and Technologies (SLATE 2017). Open Access Series in Informatics (OASIcs), Volume 56, pp. 2:1-2:13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)

Copy BibTex To Clipboard

@InProceedings{goncalves_et_al:OASIcs.SLATE.2017.2,
  author =	{Gon\c{c}alves, Ricardo and Areias, Miguel and Rocha, Ricardo},
  title =	{{Towards an Automated Test Bench Environment for Prolog Systems}},
  booktitle =	{6th Symposium on Languages, Applications and Technologies (SLATE 2017)},
  pages =	{2:1--2:13},
  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.2},
  URN =		{urn:nbn:de:0030-drops-79385},
  doi =		{10.4230/OASIcs.SLATE.2017.2},
  annote =	{Keywords: Software Engineering, Program Correctness, Benchmarking, Prolog}
}
  • Refine by Author
  • 1 Areias, Miguel
  • 1 Coelho, Anabela
  • 1 Durães, João
  • 1 Gonçalves, Paulo F.
  • 1 Gonçalves, Ricardo
  • Show More...

  • Refine by Classification
  • 1 Applied computing → Computer-assisted instruction

  • Refine by Keyword
  • 1 Arduino
  • 1 Benchmarking
  • 1 Education
  • 1 Program Correctness
  • 1 Prolog
  • Show More...

  • Refine by Type
  • 2 document

  • Refine by Publication Year
  • 1 2017
  • 1 2020

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
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact