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
752013
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
512016
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
302017
Verification of graph grammars using a logical approach
SA da Costa, L Ribeiro
Science of Computer Programming 77 (4), 480-504, 2012
292012
Entendendo o pensamento computacional
L Ribeiro, L Foss, SAC Cavalheiro
arXiv preprint arXiv:1707.00338, 2017
272017
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
262017
Desdobramentos do pensamento computacional no Brasil
C Avila, A Bordini, M Marques, S Cavalheiro, L Foss
Brazilian Symposium on Computers in Education (Simpósio Brasileiro de …, 2016
242016
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
232014
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
202017
Formal verification of graph grammars using mathematical induction
SA da Costa, L Ribeiro
Electronic Notes in Theoretical Computer Science 240, 43-60, 2009
202009
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, C Piana, L Foss, M Aguiar, ...
Anais do XXII Workshop de Informática na Escola, 261-270, 2016
162016
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
152017
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
152016
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
142017
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
132015
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
122017
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
112013
Formal specification and verification of real-time systems using graph grammars
L Michelon, SA Da Costa, L Ribeiro
Journal of the Brazilian Computer Society 13, 51-68, 2007
102007
Specification patterns for properties over reachable states of graph grammars
SA da Costa Cavalheiro, L Foss, L Ribeiro
Formal Methods: Foundations and Applications: 15th Brazilian Symposium, SBMF …, 2012
92012
The system can't perform the operation now. Try again later.
Articles 1–20