Seguir
Simone André da Costa Cavalheiro
Simone André da Costa Cavalheiro
Professor de Computação, Universidade Federal de Pelotas
E-mail confirmado em inf.ufpel.edu.br
Título
Citado por
Citado por
Ano
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
842013
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
622016
Entendendo o pensamento computacional
L Ribeiro, L Foss, SAC Cavalheiro
arXiv preprint arXiv:1707.00338, 2017
392017
Metodologias de Avaliação do Pensamento Computacional: uma revisão sistemática
C Avila, S Cavalheiro, A Bordini, M Marques, M Cardoso, G Feijó
Brazilian Symposium on Computers in Education (Simpósio Brasileiro de …, 2017
342017
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
332017
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
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 Workshop de Informática na Escola 20 (1), 390-399, 2014
252014
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
242017
Formal verification of graph grammars using mathematical induction
SA da Costa, L Ribeiro
Electronic Notes in Theoretical Computer Science 240, 43-60, 2009
212009
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
192016
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
182017
Diretrizes da sociedade brasileira de computaçao para o ensino de computaçao na educaçao básica
L Ribeiro, A Castro, AA Fröhlich, CAG Ferraz, CE Ferreira, D Serey, ...
Sociedade Brasileira de Computação, 2019
172019
Towards theorem proving graph grammars using Event-B
L Ribeiro, FL Dotti, SA da Costa, FC Dillenburg
Electronic Communications of the EASST 30, 2010
172010
Proposta de jogo digital para dispositivos móveis: Desenvolvendo habilidades do pensamento computacional
G Pinho, Y Weisshahn, CF de Brum, GGH Cavalheiro, S Cavalheiro
Brazilian Symposium on Computers in Education (Simpósio Brasileiro de …, 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 Workshop de Informática na Escola 21 (1), 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 6 (1 …, 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
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20