Banca de QUALIFICAÇÃO: ALMEIDA SIMÕES DOS SANTOS

Uma banca de QUALIFICAÇÃO de MESTRADO foi cadastrada pelo programa.
DISCENTE : ALMEIDA SIMÕES DOS SANTOS
DATA : 05/12/2025
HORA: 09:00
LOCAL: B206 no IMD
TÍTULO:

Aplicação da Inteligência Artificial Generativa para apoio a Especificação de Requisitos de Software

 

PALAVRAS-CHAVES:

Engenharia de Requisitos; ISO 29148:2018; LLM; RAG; Engenharia de Prompt; Design Science Research; Qualidade textual dos requisitos.

PÁGINAS: 75
RESUMO:

A Especificação de Requisitos muitas vezes apresenta ambiguidade, inconsistência e incompletude, afetando aspectos como verificabilidade, clareza e custos de desenvolvimento. Este trabalho investiga como Grandes Modelos de Linguagem (LLMs), guiados por Engenharia de Prompt, podem apoiar a geração de especificações de requisitos em linguagem natural, conforme as diretrizes textuais da ISO 29148:2018, tendo como entrada resultados provenientes da elicitação de requisitos. Propõe-se um assistente para a especificação de requisitos, estruturado em quatro componentes: (i) geração inicial de requisitos por LLM; (ii) poucos exemplos de prompts com redações alinhadas à ISO 29148:2018 (definições, padrões de frase, atributos de qualidade); (iii) RAG (Geração Aumentada por Recuperação) para recuperar e citar trechos da norma e de guias de boas práticas durante a redação; e (iv) refinamento iterativo por meio de perguntas objetivas que reduzem a ambiguidade, termos subjetivos e lacunas de escopo, sempre com a supervisão do engenheiro de requisitos. A metodologia usada segue o Design Science Research (DSR), incluindo demonstração e avaliação empírica: experimentos 
comparativos entre o assistente e um LLM de referência, medindo a qualidade textual (clareza, completude, consistência, verificabilidade) e o esforço de redação, além de uma pesquisa com profissionais sobre utilidade e riscos (p.ex., segurança da informação). As contribuições são: (1) a operacionalização das recomendações de escrita da 29148 em verificações automatizadas; (2) um protocolo replicável de uso de LLMs para apoio à escrita de especificações; e (3) evidências sobre os benefícios e limites do apoio automatizado. Concluímos
que o assistente não substitui o engenheiro; atua como copiloto redacional para produzir textos de requisitos mais claros e alinhados à norma.

 

MEMBROS DA BANCA:
Presidente - 2195240 - MARCIA JACYNTHA NUNES RODRIGUES LUCENA
Interno - 1671962 - EDUARDO HENRIQUE DA SILVA ARANHA
Interna - 1754430 - LYRENE FERNANDES DA SILVA
Externo à Instituição - ENYO JOSÉ TAVARES GONÇALVES - UFC