Formal Specification in Basic Education: What Does It Take?
da Silva Junior, Braz Araujo, da Costa Cavalheiro, Simone Andre, Foss, Luciana, da Silva, Julia Veiga
Published in 2023 IEEE Frontiers in Education Conference (FIE) (18.10.2023)
Published in 2023 IEEE Frontiers in Education Conference (FIE) (18.10.2023)
Get full text
Conference Proceeding
Theorem proving graph grammars with attributes and negative application conditions
Cavalheiro, Simone André da Costa, Foss, Luciana, Ribeiro, Leila
Published in Theoretical computer science (22.07.2017)
Published in Theoretical computer science (22.07.2017)
Get full text
Journal Article
Automatic Translation from UML to Simulink CAAM Using Graph Grammars
Costa, Andrei, Pazzini, Vinicius, Foss, Luciana, Da Costa Cavalheiro, Simone Andre, Brisolara de Brisolara, Lisane, Wagner, Flavio R.
Published in 2013 2nd Workshop-School on Theoretical Computer Science (01.10.2013)
Published in 2013 2nd Workshop-School on Theoretical Computer Science (01.10.2013)
Get full text
Conference Proceeding
A Graph Grammar to Transform DAGs into Graphs Describing Multithreaded Programs
de S Camargo, Cicero Augusto, Cavalheiro, Gerson Geraldo H., Foss, Luciana, da Costa Cavalheiro, Simone Andre
Published in 2011 Workshop-School on Theoretical Computer Science (01.08.2011)
Published in 2011 Workshop-School on Theoretical Computer Science (01.08.2011)
Get full text
Conference Proceeding
Graph Grammars: A Comparison between Verification Methods
Moura de Mello, Andre, Lemos Junior, Luiz Carlos, Foss, L., da Costa Cavalheiro, Simone Andre
Published in 2011 Workshop-School on Theoretical Computer Science (01.08.2011)
Published in 2011 Workshop-School on Theoretical Computer Science (01.08.2011)
Get full text
Conference Proceeding
Jogo de RPG para o Desenvolvimento de Habilidades do Pensamento Computacional no Ensino Fundamental: Jogo Digital e Formação de Professores
Gonçalves, Bruno Cabreira, Soares, João Eduardo Seffrin, Oliveira, Placida, Marques, Jonnhy, Cavalheiro, Simone André da Costa, Foss, Luciana, Du Bois, André, Reiser, Renata, Piana, Clause, Mazzini, Ana Rita
Published in Revista brasileira de informática na educação (21.09.2022)
Published in Revista brasileira de informática na educação (21.09.2022)
Get full text
Journal Article
Evaluation Rubric for Computational Thinking Concepts
Otero Avila, Christiano, Foss, Luciana, Bordini, Adriana, Debacco, Maria Simone, da Costa Cavalheiro, Simone Andre
Published in 2019 IEEE 19th International Conference on Advanced Learning Technologies (ICALT) (01.07.2019)
Published in 2019 IEEE 19th International Conference on Advanced Learning Technologies (ICALT) (01.07.2019)
Get full text
Conference Proceeding
PACT: A Citizen Science Project for Computing Education
da Silva, Braz Araujo, da Costa Cavalheiro, Simone Andre, Foss, Luciana, Fleischmann, Ana Marilza Pernas, Garcez, Andrea Volz
Published in 2021 IEEE Frontiers in Education Conference (FIE) (13.10.2021)
Published in 2021 IEEE Frontiers in Education Conference (FIE) (13.10.2021)
Get full text
Conference Proceeding
Robustness on the fuzzy f-Xor Class: Implication, bi-implications and dual constructions
Zanotelli, Rosana Medina, Hax Sander Reiser, Renata, Andre da Costa Cavalheiro, Simone, Foss, Luciana, Callejas Bedregal, Benjamin Rene
Published in 2014 XL Latin American Computing Conference (CLEI) (01.09.2014)
Published in 2014 XL Latin American Computing Conference (CLEI) (01.09.2014)
Get full text
Conference Proceeding
Towards Developmental Turing Machines
Cavalheiro, S. A. D. C., Costa, A. C. D. R., Dimuro, G. P.
Published in 2011 Workshop-School on Theoretical Computer Science (01.08.2011)
Published in 2011 Workshop-School on Theoretical Computer Science (01.08.2011)
Get full text
Conference Proceeding
Sensitivity and Dual Constructions on the Fuzzy f-Xor Class
Zanotelli, Rosana Medina, Hax Sander Reiser, Renata, da Costa Cavalheiro, Simone A., Foss, Luciana
Published in 2013 2nd Workshop-School on Theoretical Computer Science (01.10.2013)
Published in 2013 2nd Workshop-School on Theoretical Computer Science (01.10.2013)
Get full text
Conference Proceeding