Ir para o conteúdo principal

Pesquisa.

Pipeline

Requiem Maturity Scale: uma escala de maturidade para verificação formal de requisitos de software

Submetido
SBES 2026 — Congresso Brasileiro de Software·2026

Proposta de escala de maturidade (RMS) para avaliação e verificação formal de requisitos de software, com hierarquia verificável, cumulatividade de conformidade e degradação temporal. Aplicada em sistemas multi-tenant de gestão pública municipal. Derivada de 4 anos de engenharia de requisitos em contextos reais de GovTech.

RequisitosMaturidadeVerificação FormalGovTech

Requisitos de Software para Sistemas de Gestão Municipal Brasileira: um mapeamento sistemático

Submetido
SBES 2026 — Congresso Brasileiro de Software·2026

Mapeamento sistemático da literatura sobre requisitos de software em sistemas de informação para gestão pública municipal brasileira. Identifica lacunas de pesquisa, padrões recorrentes e oportunidades de contribuição no contexto de cidades de pequeno e médio porte fora do eixo SP-RJ.

RequisitosGovTechMapeamento SistemáticoGestão Municipal

Arquitetura de Rastreabilidade de Dispositivos Cardíacos Implantáveis em Hospital Público do SUS

Em andamento
SBCAS 2026 — Simpósio Brasileiro de Computação Aplicada à Saúde·2026

Arquitetura de software do SGDI — sistema de rastreabilidade de dispositivos cardíacos implantáveis (marcapassos, CDIs, ressincronizadores) em hospital público. Cobre recebimento, estoque, implante, acompanhamento e auditoria com conformidade regulatória ANVISA e integração ao fluxo SUS.

HealthTechDispositivos ImplantáveisSUSRastreabilidadeANVISA

Integração do Protocolo OCPP 2.0 em Redes de Mobilidade Elétrica com Armazenamento de Energia

Em andamento
IEEE Access — Submissão contínua·2026

Análise e implementação do protocolo OCPP 2.0 em redes de mobilidade elétrica com armazenamento de energia (ESS) no contexto urbano do Nordeste brasileiro. Avalia desafios de interoperabilidade, latência e gestão de carga em mercado emergente sem solução equivalente disponível na região.

OCPPMobilidade ElétricaESSIoTSmart Grid
Publicações

4 artigos publicados em conferências internacionais no âmbito de pesquisas do NEES/UFAL. Títulos e PDFs disponíveis no Currículo Lattes.

2025
DGO 2025 — Conference on Digital Government Research2 artigos · Dois artigos aceitos. Títulos e links disponíveis no Currículo Lattes.
2025
SBCAS 2025 — Simpósio Brasileiro de Computação Aplicada à Saúde1 artigo · Artigo aceito. Disponível no Currículo Lattes.
2026
DGO 2026 — Conference on Digital Government Research1 artigo · Artigo aceito. Disponível no Currículo Lattes.
Interesses
  • 01Engenharia de Requisitos formal em contextos de GovTech
  • 02Sistemas de informação para gestão pública municipal brasileira
  • 03Arquitetura de software multi-tenant em domínios institucionais
  • 04HealthTech — rastreabilidade e compliance regulatório (ANVISA/SUS)
  • 05Tecnologia educacional e prevenção à evasão escolar
  • 06Mobilidade urbana elétrica e eletrificação de frotas públicas
  • 07IA aplicada a serviços públicos — LLM, RAG, agentes autônomos
Afiliação
InstituiçãoUniversidade Federal de Alagoas (UFAL)
NúcleoNEES — Núcleo de Excelência em Engenharia de Software
GraduaçãoEngenharia da Computação — Bacharelado