BARCELOS, Katia Alves; ISATTO, Eduardo Luís. Uso da Inteligência Artifical na elaboração e interpretação de requisitos em linguagem natural para lógica formal. In: SIMPÓSIO BRASILEIRO DE TECNOLOGIA DA INFORMAÇÃO E COMUNICAÇÃO NA CONSTRUÇÃO, 5., 2025. Anais [...]. Porto Alegre: ANTAC, 2025. DOI: 10.46421/sbtic.v5i00.7494. Disponível em: https://eventos.antac.org.br/index.php/sbtic/article/view/7494. Acesso em: 3 maio. 2026.