Danilo Saraiva Vicente Vicente, D. S.
Nalberthy Sousa da Silva Silva, N. S.
Emanoel Mendes Magalhães Magalhães, E. M.
Jackson Gomes de Souza Souza, J. G.
O LogicLive é uma plataforma criada para auxiliar no processo de ensino e aprendizagem de entusiastas e acadêmicos que estudam a lógica proposicional, atualmente a plataforma conta com módulos gamificados que disponibilizam conceitos e objetivos a serem cumpridos. Ao analisar os módulos presentes na plataforma, verificou-se que utilizam entradas de fórmulas proposicionais estruturadas em documentos XML criados de forma manual pelos desenvolvedores dos módulos. Para automatização do processo de criação das fórmulas proposicionais, foi desenvolvido a ferramenta GramLogic que possui uma gramática e um parser capaz transformar a fórmula inserida pelo usuário em um arquivo XML estruturado com a fórmula inserida e validada.
03 de Novembro de 2020
45-55
Palmas-TO
e-ISSN:2447-0767
Vicente, D. S.; Silva, N. S.; Magalhães, E. M.; Souza, J. G.. Desenvolvimento de uma gramática para auxílio no processo de criação e validação de fórmulas proposicionais estruturada em XML do Logic Live. In: ENCOINFO - Congresso de Computação e Tecnologias da Informação, 22., 2020, Palmas - TO. Anais [...]. Palmas - TO: CEULP/ULBRA, 2020. p. 44 - 55. ISSN e-ISSN: 2447-0767 versão online. Disponível em: https://ulbra-to.br/encoinfo/edicoes/2020/artigos/desenvolvimento-de-uma-gramatica-para-auxilio-no-processo-de-criacao-e-validacao-de-formulas-proposicionais-estruturada-em-xml-do-logic-live/. Acesso em: 17 mai. 2024