Follow
Simone André da Costa Cavalheiro
Simone André da Costa Cavalheiro
Professor de Computação, Universidade Federal de Pelotas
Verified email at inf.ufpel.edu.br
Title
Cited by
Cited by
Year
Proposta de atividades para o desenvolvimento do pensamento computacional no ensino fundamental
D Andrade, T Carvalho, J Silveira, S Cavalheiro, L Foss, AM Fleischmann, ...
Anais do XIX Workshop de Informática na Escola, 169-178, 2013
822013
Computaçao na educaçao básica no brasil: o estado da arte
A Bordini, CMO Avila, Y Weisshahn, MM da Cunha, ...
Revista de Informática Teórica e Aplicada 23 (2), 210-238, 2016
602016
Entendendo o pensamento computacional
L Ribeiro, L Foss, SAC Cavalheiro
arXiv preprint arXiv:1707.00338, 2017
372017
Metodologias de avaliaç ao do Pensamento Computacional: uma revisao sistemática
C Avila, S Cavalheiro, A Bordini, M Marques, M Cardoso, G Feijó
352017
Pensamento Computacional nos Ensinos Fundamental e Médio: uma revisão sistemática
A Bordini, C Avila, M Marques, L Foss, S Cavalheiro
Brazilian Symposium on Computers in Education (Simpósio Brasileiro de …, 2017
342017
Verification of graph grammars using a logical approach
SA da Costa, L Ribeiro
Science of Computer Programming 77 (4), 480-504, 2012
292012
Desdobramentos do pensamento computacional no Brasil
A Bordini, C Avila, M Marques, S Cavalheiro, L Foss
Anais do SBIE 2016, 200-209, 2016
272016
O pensamento computacional por meio da robótica no ensino básico-uma revisao sistemática
C Avila, S Cavalheiro, A Bordini, M Marques
Brazilian Symposium on Computers in Education (Simpósio Brasileiro de …, 2017
252017
Organizaçao de informaçoes via pensamento computacional: Relato de atividade aplicada no ensino fundamental
GM de Campos, S Cavalheiro, L Foss, AM Pernas, CF de Brum Piana, ...
Anais do XX Workshop de Informática na Escola, 390-399, 2014
242014
Diretrizes da sociedade brasileira de computação para o ensino de computação na educação básica
L Ribeiro, A Castro, AA Fröhlich, CAG Ferraz, CE Ferreira, D Serey, ...
Sociedade Brasileira de Computação, 2019
222019
Formal verification of graph grammars using mathematical induction
SA da Costa, L Ribeiro
Electronic Notes in Theoretical Computer Science 240, 43-60, 2009
212009
Theorem proving graph grammars with attributes and negative application conditions
SA da Costa Cavalheiro, L Foss, L Ribeiro
Theoretical computer science 686, 25-77, 2017
192017
Towards theorem proving graph grammars using Event-B
L Ribeiro, FL Dotti, SA da Costa, FC Dillenburg
Electronic Communications of the EASST 30, 2010
182010
Pensamento computacional no ensino fundamental: Relato de atividade de introduçao a algoritmos
G Pinho, Y Weisshahn, S Cavalheiro, R Reiser, CF de Brum, L Foss, ...
Anais do Workshop de Informática na Escola 22 (1), 261-270, 2016
172016
Proposta de jogo digital para dispositivos móveis: Desenvolvendo habilidades do pensamento computacional
G Pinho, Y Weisshahn, CF de Brum, GGH Cavalheiro, S Cavalheiro
Anais do 27º Simpósio Brasileiro de Informática na Educação, 100, 2016
162016
Uma proposta para o desenvolvimento do pensamento computacional integrado ao ensino de matemática
M Marques, S Cavalheiro, L Foss, C Avila, A Bordini
Brazilian Symposium on Computers in Education (Simpósio Brasileiro de …, 2017
152017
Integração entre pensamento computacional e inteligência artificial: uma revisão sistemática de literatura
ALM Caruso, SA da Costa Cavalheiro
Anais do XXXII Simpósio Brasileiro de Informática na Educação, 1051-1062, 2021
142021
Proposta de atividade para o quinto ano do ensino fundamental: Algoritmos Desplugados
G Santos, W Silva, S Cavalheiro, L Foss, M Aguiar, AM Pernas, A Du Bois, ...
Anais do XXI Workshop de Informática na Escola, 246-255, 2015
142015
Robótica Educacional como Estratégia de Promoção do Pensamento Computacional-Uma Proposta de Metodologia Baseada em Taxonomias de Aprendizagem
C Avila, S Cavalheiro
Anais dos Workshops do Congresso Brasileiro de Informática na Educação 1192, 2017
132017
Discussing the challenges related to deployment of computational thinking in brazilian basic education
T Carvalho, D Andrade, J Silveira, V Auler, S Cavalheiro, M Aguiar, ...
2013 2nd workshop-school on theoretical computer science, 111-115, 2013
132013
The system can't perform the operation now. Try again later.
Articles 1–20