GGasCT: Bringing Formal Methods to the Computational Thinking

• Braz Araujo da Silva Junior Universidade Federal de Pelotas https://orcid.org/0000-0002-1637-5320
• Simone André da Costa Cavalheiro Universidade Federal de Pelotas https://orcid.org/0000-0002-7442-7379
• Luciana Foss Universidade Federal de Pelotas https://orcid.org/0000-0002-0473-4111

DOI: https://doi.org/10.5753/cbie.wcbie.2020.83

Resumo

This work presents an alternative approach for developing computational thinking: the graph grammars. Many related terms are individually explored in order to clarify what is in the range of computational thinking. The selection of the terms draws on a systematic literature review that sheds a light on the most commonly addressed terms in the computational thinking literature. A formal and visual language, the graph grammar, is introduced, formally defined and explored, discussing its relations with computational thinking skills. An educational game and a game engine are developed and presented as examples of graph grammars to promote computational thinking. As result, a comprehensive framework to develop and assess computational thinking through graph grammars is theoretically grounded and made available by the developed educational tools.

Palavras-chave: Computational Thinking, Formal Methods, Graph Grammar

Referências

Silva Junior, B. A., Cavalheiro, S. A. d. C., and Foss, L. (2020). GGasCT: Bringing formal methods to the computational thinking. ExpPC, Pelotas, 2020. Available at: https://bit.ly/335Gf1X. Acessed: 25-09-2020.