Carlos Eduardo de Lima Lima, C. E.

Edeilson Milhomem da Silva Silva, E. M.

Lucas Roberto Bechert Schmitz Schmitz, L. R. B.

Parcilene Fernandes de Brito Brito, P. F.

Fabiano Fagundes Fagundes, F.

Resumo

Neste artigo são apresentados conceitos das linguagens JAVA e XML utilizados para o desenvolvimento de um editor de fórmulas do Cálculo de Predicados. Para isso, foram apresentadas as etapas de construção da linguagem PCML, desenvolvida em XML para a verificação da validação das fórmulas, e a utilização das APIs DOM e SAX para a manipulação do documento XML no ambiente JAVA.