Aêda Monalliza Cunha de Sousa

Formação complementar

Idiomas

Áreas de atuação

Participação em eventos

Participação em bancas

Orientou

Produções bibliográficas

• FEITOSA, R. Q. ; SOUSA, A. M. C. B. . Safety Inspection of Pressure Vessels at an Engine Grinder in Agrestina-PE. Journal of Interdisciplinary Debates , v. 4, p. 22-46, 2023.

• GABRIEL QUIRINO DE LIMA, JOÃO ; FERREIRA DE OLIVEIRA, IGOR ; MONALIZA CUNHA DE SOUSA, AÊDA . PROPOSAL FOR RESEARCH AND DEVELOPMENT OF VERTEBRAL EXOSKELETON TO REDUCE PHYSICAL STRESS IN THE SPINE. Journal of Interdisciplinary Debates , v. 3, p. 98-137, 2022.

• BARROS, F. S. ; SOUSA, A. M. C. ; RODRIGUES, C. M. O. . ECHO-PM: A Hybrid NLP Decision-Support Pipeline for Emotion-Aware, NVC-Guided Message Rewriting in Distributed Software Projects. In: International Conference on Enterprise Information Systems (ICEIS), 2026, Spain. International Conference on Enterprise Information Systems (ICEIS), 2026.

• BARROS, W. ; SOUSA, A. M. C. ; RODRIGUES, C. M. O. . Toward Automated and Explainable Digital Transformation Maturity Assessment: An Ontology-Driven Approach for Public Organizations. In: International Conference on Enterprise Information Systems (ICEIS), 2026, Spain. International Conference on Enterprise Information Systems (ICEIS), 2026.

• SILVA, I. S. ; SOUSA, A. M. C. . Integração do ChatGPT para Aprimoramento da Definição de Requisitos de Software: Uma Revisão Sistemática da Literatura. In: Workshop em Engenharia de Requisitos, 2024, Buenos Aires. Workshop em Engenharia de Requisitos, 2024.

• MONTEIRO, LUCAS HENRIQUE DE ASSIS ; RODRIGUES, CLEYTON MÁRIO DE OLIVEIRA ; SOUSA, AÊDA MONALLIZA CUNHA DE . An Information System for Law Integrating Ontological Bases with a Legal Reasoner Chatbot. In: SBSI: XVIII Brazilian Symposium on Information Systems, 2022, Curitiba Brazil. XVIII Brazilian Symposium on Information Systems, 2022. p. 1.

• SOUSA, A. M. C. ; SILVA, T. G. ; LIMA, L. S. ; ALENCAR, F. M. R. . Os Benefícios do Uso de Ontologias em Sistemas Embarcados. In: Workshop on Requirements Engineering, 2020, São Paulo. 23rd Workshop on Requirements Engineering, 2020.

• ALBUQUERQUE, D. ; CASTRO, J. ; SOUSA, A. M. C. B. . Challenges and Issues for Requirements Definition on Robotic Systems Domain - An Exploratory Study. In: CIbSE - Ibero-American Conference on Software Engineering - Track WER, 2018, Bogotá. CIbSE - Ibero-American Conference on Software Engineering - Track WER, 2018.

• PEREIRA, T. C. ; SOUSA, A. M. C. B. ; ALBUQUERQUE, D. ; ALENCAR, F. M. R. ; CASTRO, J. . A Metamodel to Guide a Requirements Elicitation Process for Embedded Systems.. In: The International Conference on the Quality of Information and Communications Technology (QUATIC), 2018, Coimbra. The International Conference on the Quality of Information and Communications Technology (QUATIC), 2018.

• ALBUQUERQUE, D. ; SOUSA, A. M. C. B. ; CASTRO, J. . A Requirements Definition Framework for the Robotic Systems Domain - An Exploratory Study. In: Workshop em Engenharia de Requisitos, 2018, Rio de Janeiro. Workshop em Engenharia de Requisitos, 2018.

• SILVA, T. G. ; SOUSA, A. M. C. B. ; ALENCAR, F. M. R. . De KAOS para SysML na Modelagem de Sistemas Embarcados. In: Workshop em Engenharia de Requisitos, 2018, Rio de Janeiro. Workshop em Engenharia de Requisitos, 2018.

• PEREIRA, T. C. ; ALBUQUERQUE, D. ; SOUSA, A. M. C. B. ; ALENCAR, F. M. R. ; CASTRO, J. . Retrospective and Trends in Requirements Engineering for Embedded Systems: A Systematic Literature Review. In: 20th Ibero-American Conference on Software Engineering., 2017, Buenos Aires. Workshop em Engenharia de Requisitos (WER), 2017.

• AGRA, C. ; ASSIS, D. ; SOUSA, A. M. C. ; Lucena, M. ; JAQUEIRA, A. ; MACIEL, T. ; ALENCAR, F. M. R. . Transformação do modelo i* em user stories: uma abordagem para documentação ágil baseada nas razões, intenções e NFR.. In: 19º Workshop em Engenharia de Requisitos (WER), 2016, Equador. 18º Workshop em Engenharia de Requisitos (WER), 2016.

• COSTA, R. ; SOUSA, A. M. C. ; ALENCAR, F. M. R. . Melhoria de Documentos de Requisitos: um Mapeamento Sistemático da Literatura.. In: 19º Workshop em Engenharia de Requisitos (WER), 2016, Equador. 18º Workshop em Engenharia de Requisitos (WER), 2016.

• SOUSA, A. M. C. B. ; PEREIRA, T. C. ; AGRA, C. ; ALENCAR, F. M. R. . Use of Ontologies in Embedded Systems: a Systematic Mapping. In: International Conference on the Quality of Information and Communications Technology (QUATIC 2016), 2016, Lisbon. 10th International Conference on the Quality of Information and Communications Technology (QUATIC 2016), 2016.

• PEREIRA, T. C. ; ALBUQUERQUE, D. ; SOUSA, A. M. C. B. ; ALENCAR, F. M. R. ; CASTRO, J. . A Metamodel for a Requirements Engineering Process of Embedded Systems. In: Brazilian Symposium on Computing Systems Engineering (SBESC), 2016, João Pessoa. Brazilian Symposium on Computing Systems Engineering (SBESC), 2016.

• HEINECK, T. ; GONCALVES, E. ; SOUSA, A. M. C. B. ; OLIVEIRA, M. A. ; CASTRO, J. . Model-Driven Development in Robotics Domain: a Systematic Literature Review. In: Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software, 2016, Maringá-PR. Anais do X Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software, 2016.

• SOUSA, A. M. C. ; AGRA, C. ; MELO, J. A. S. ; ALENCAR, F. M. R. . Elicitação e Especificação de Requisitos em Sistemas Embarcados: Uma Revisão Sistemática.. In: 18º Workshop em Engenharia de Requisitos (WER), 2015, Lima (Peru). 18º Workshop em Engenharia de Requisitos (WER), 2015.

• AGRA, C. ; SOUSA, A. M. C. ; MELO, J. A. S. ; Lucena, M. ; ALENCAR, F. M. R. . Specifying guidelines to transform i* Model into User Stories: an overview.. In: 8th International i* Workshop, 2015, Ottawa. 8th International i* Workshop, 2015.

• MELO, J. A. S. ; SOUSA, A. M. C. ; AGRA, C. ; ALENCAR, F. M. R. . Formalization of i* Mapping Rules for Class Diagram.. In: 8th International i* Workshop, 2015, Ottawa. 8th International i* Workshop, 2015.

• MELO, J. A. S. ; SOUSA, A. M. C. ; AGRA, C. ; JUNIOR, M. ; ALENCAR, F. M. R. . Formalização de Regras de Mapeamento de i* para Diagrama de Classe em UML. In: 29º Simpósio Brasileiro de Engenharia de Software (SBES), 2015, Belo Horizonte. Simpósio Brasileiro de Engenharia de Software (SBES), 2015.

• SOUSA, A. M. C. ; TEIXEIRA FILHO, J. G. A . O Valor das Redes Sociais para Gestão do Conhecimento: um estudo de caso no Porto Digital - PE. In: 10º Congresso Brasileiro de Gestão do Conhecimento, 2011, São Paulo. 10º Congresso Brasileiro de Gestão do Conhecimento., 2011.

• ARAUJO, S. S. ; SOUSA, A. M. C. ; JUNIOR-, I. H. F. . Bingo Bongo Testing Extension: uma ferramenta para promover a educação e gamificação em teste de software. In: Conferência Internacional sobre Informática na Educação (TISE), 2023, Natal. Conferência Internacional sobre Informática na Educação (TISE).

• ARAUJO, S. S. ; SOUSA, A. M. C. ; JUNIOR-, I. H. F. . Bingo Bongo Testing Extension: uma ferramenta para promover a educação e gamificação em teste de software. Conferência Internacional sobre Informática na Educação (TISE) , 2023.

• PEREIRA, T. C. ; ALBUQUERQUE, D. ; SOUSA, A. M. C. B. ; ALENCAR, F. M. R. . Retrospective and Trends in Requirements Engineering for Embedded Systems: A Systematic Literature Review.. 2017. (Apresentação de Trabalho/Conferência ou palestra).

• SOUSA, A. M. C. B. . Educação Digital. 2017. (Apresentação de Trabalho/Conferência ou palestra).

• SOUSA, A. M. C. B. . Especificação de Requisitos para Sistemas Embarcados:Uma Revisão Sistemática da Literatura. 2014. (Apresentação de Trabalho/Outra).

• SOUSA, A. M. C. B. . Aprendendo Programação de uma Maneira Fácil e Divertida. 2018. (Curso de curta duração ministrado/Outra).

Projetos de pesquisa

• 2024 - 2024

  Tecnologias para Transformacao Social Aplicacao de experimentacoes de Computacao Fisica para o Suporte e Reintegracao de Jovens que passaram por medidas Socioeducativas, Descrição: O projeto examinou como a sociedade brasileira, historicamente, marginaliza indivíduos considerados indesejados, muitas vezes invisibilizados pelo encarceramento. Para desafiar essa dinâmica excludente, a iniciativa utilizou robótica e alfabetização científico-tecnológica na ressocialização de jovens que passaram por medidas socioeducativas em Recife. Através do desenvolvimento de habilidades em sistemas digitais e computação física, o objetivo foi não apenas reintegrar esses jovens à sociedade, mas também empoderá-los como agentes de mudança capazes de reverter o ciclo de marginalização que os silenciava. Essa iniciativa deu continuidade ao trabalho do Grupo de Estudos em Computação Física - Garagino e à metodologia Robolivre, que já havia sido aplicada em projetos de iniciação científica creditados por essa instituição e em projetos voluntários que alcançaram dezenas de escolas, buscando expandir seu impacto e fortalecer a inclusão social.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Aêda Monalliza Cunha de Sousa - Coordenador / Messias Daniel Ferreira Da Silva Filho - Integrante.

• 2024 - 2024

  Ferramentas de IA na Avaliacao da Aprendizagem em Programacao Um Estudo Comparativo, Descrição: O estudo realizou uma análise comparativa de ferramentas baseadas em inteligência artificial para a avaliação da aprendizagem em disciplinas de programação. A pesquisa investigou ferramentas que utilizaram IA para automatizar e personalizar feedback, mensurar o desempenho dos alunos e adaptar os métodos avaliativos às necessidades individuais. O estudo examinou a eficácia dessas ferramentas na melhoria da retenção de conhecimentos, a facilidade de uso por parte dos educadores e sua integração com plataformas de ensino. A partir dessa análise, foi possível identificar quais ferramentas ofereceram os melhores resultados em termos de acurácia, eficiência e impacto educacional, fornecendo diretrizes para educadores na escolha da tecnologia mais adequada para seus cursos.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Aêda Monalliza Cunha de Sousa - Coordenador / Myllena Cristiane Ribeiro Navarro Lins - Integrante.

• 2023 - 2024

  Gestão de dados para fortalecimento da política pública de enfrentamento à violência contra a mulher do município de Caruaru-PE, Descrição: Desenvolvimento de um Sistema para Cadastro de Eventos Realizados pela Secretaria de Políticas Públicas de Caruaru/PE.Esse projeto foi aceito no edital de Pesquisa e Produtividade da Wyden.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (10) . , Integrantes: Aêda Monalliza Cunha de Sousa - Coordenador., Financiador(es): Centro Universitário UNIFAVIP - Bolsa.

• 2023 - Atual

  INTEGRAÇÃO DO CHATGPT E BDD PARA APRIMORAMENTO DA DEFINIÇÃO DE REQUISITOS DE SOFTWARE, Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Aêda Monalliza Cunha de Sousa - Coordenador / Iohana Salvador Silva - Integrante.

• 2020 - 2021

  Exoesqueleto Vertebral para Redução de Esforços Físicos na Coluna Controlado por sinais Eletromiográficos, Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (5) . , Integrantes: Aêda Monalliza Cunha de Sousa - Coordenador / Igor Ferreira De Oliveira - Integrante / João Gabriel Quirino de LIma - Integrante.

• 2017 - 2020

  METODOLOGIAS ATIVAS NO PROCESSO DE ENSINO-APRENDIZAGEM NO ENSINO SUPERIOR, Descrição: Descrição: No mundo moderno, tem-se rápidas mudanças em todos os aspectos, trazendo-se novos e constantes desafios tecnológicos, econômicos e sociais. Nessa direção, novos modelos de ensino-aprendizagem vêm sendo propostos como forma de tornar o aluno mais crítico e reflexivo e o professor ativo no processo de construção do conhecimento. Trata-se dos métodos ativos, utilizados como formas de desenvolver o processo do aprender que favorece a autonomia do educando, despertando a curiosidade, estimulando tomadas de decisões individuais e coletivas, colocando-se como recurso didático no processo da comunicação e transmissão do conhecimento. Nesse contexto, tudo se inicia pelo estudo das possibilidades e dos desafios que serão enfrentados para a compreensão do domínio do problema de modo que seja possível se pensar em uma solução de apoio. De forma geral, para se atingir os objetivos do projeto, todas as atividades de desenvolvimento têm que ser criteriosamente elaboradas e desenvolvidas, sendo a atividade de levantamento de requisitos de fundamental importância. Nessa etapa, procura-se levantar as condições ou capacidades necessitadas pelos usuários e pelos sistemas computacionais de apoio. Todavia, é comum que as partes envolvidas (stakeholders) sintam dificuldades em expressar com rigor o problema que pretendem automatizar ou o problema a solucionar e por isso, algumas vezes, o que foi listado como necessário atender pode não refletir as reais necessidades, tornando-se comum a definição de algo incompleto e/ou inconsistente que se propagará ao produto final. Neste sentido, esse projeto de pesquisa visa entender a necessidade, potencialidades e limitações no uso de abordagens, processos e técnicas que deem suporte ao uso de métodos ativos de ensino-aprendizagem como recurso didático na formação crítica no ensino superior. Também é de interesse a proposição e avaliação de sistemas de apoio a sua utilização desses métodos. Nesse contexto, esse projeto de pesquisa visa investigar a existência de propostas já existentes de forma a otimizá-las e/ou adaptá-las para que seja possível alcançar melhores resultados.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Doutorado: (1) . , Integrantes: Aêda Monalliza Cunha de Sousa - Integrante / Fernanda Maria Ribeiro de Alencar - Coordenador / Rosa Candida de Borba Cavalcanti - Integrante / Gilberto Amado de Azevedo Cysneiros Filho - Integrante.

• 2016 - 2021

  ENGENHARIA DE REQUISITOS APLICADA A SISTEMAS, Descrição: Como temos estudado, os avanços científicos quanto à definição e especificação de requisitos de sistema são bastante observados nos projetos de desenvolvimento, contudo esses ainda falham de forma alarmante. Isso, sobretudo, pela dificuldade na compreensão e definição apropriada dos requisitos no domínio do problema e compreensão das necessidades das partes envolvidas (stakeholders). Temos advogado o uso de abordagens que considerem a perspectiva da intencionalidade e dependência entre atores participantes do processo. Assim, neste projeto, visa-se continuar a investigar o uso de conceitos e princípios da Engenharia de Requisito, no tocante ao uso de ontologias, abordagens, técnicas e processos de modelagem e desenvolvimento. Pretende-se estudar a identificação, a especificação, a priorização e o trato com a evolução dos requisitos, no domínio do desenvolvimento de sistemas complexos e críticos, no contexto de IoT, tendo-se a preocupação com o desenvolvimento sustentável. Como procedimento metodológico, far-se-á uma pesquisa exploratória cujo artefato final será um diagnóstico sobre como os requisitos de sistema embarcados, críticos ou não, são especificados, em diferentes áreas, de forma a ser possível definir guias, processos, ontologias e ferramentas de apoio à especificação e evolução desses sistemas. Os dados serão fundamentalmente levantados através de revisões sistemáticas da literatura, survey e experimentos com especialistas e desenvolvedores, bem como propostas de aplicação de exemplos de uso, para que serão utilizadas a infraestrutura física do laboratório do GRENCI do DES da UFPE e do Programa de Pós-Graduação de Engenharia da Computação da Poli/UPE. Revisar-se-á pesquisas que usam, adaptam, gerenciam e/ou evoluem os requisitos no contexto de sistemas embarcados.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (6) / Doutorado: (8) . , Integrantes: Aêda Monalliza Cunha de Sousa - Integrante / celso Agra - Integrante / Josenildo Alanio de Souza Melo - Integrante / Fernanda Maria Ribeiro de Alencar - Coordenador / Denise Assis - Integrante / Tarcísio Couto Pereira - Integrante / Gilberto Amado de Azevedo Cysneiros Filho - Integrante / Alexandre Feitoza de Mendonca - Integrante / Elias Elnatã Pereira da Silva - Integrante / Tamires Andrade Agripino Serra - Integrante / Mauricio Manoel Coelho Junior - Integrante / Timóteo Gomes da Silva - Integrante / Amora Cristina Albuquerque Sukar - Integrante / Ricardo Argenton Ramos - Integrante.

• 2015 - 2020

  RE-Requirements Engineering, Descrição: O grupo tem como objetivo estabelecer bases para o aumento da qualidade dos processos de produção de software através de cooperação entre universidades e empresas com ênfase na utilização da Engenharia de Requisitos. _ JUSTIFICATIVAS E CONTRIBUIÇÕES CIENTÍFICAS E TECNOLÓGICAS: Uma das fases cruciais no ciclo de vida do desenvolvimento de Sistemas de é a chamada Engenharia de Requisitos. Ela força os clientes a considerarem os seus requisitos cuidadosamente e revisá-los no contexto do problema. O objetivo deste processo é alcançar uma especificação mais completa do sistema de software. São feitas anotações e refinamentos dos requisitos, aumentando a transparência do sistema de software, e melhorando a comunicação entre clientes e desenvolvedores. Um projeto só será bem sucedido se houver um consenso entre as partes envolvidas (clientes e desenvolvedores), que é representada pela especificação de requisitos. _ GRUPOS ENVOLVIDOS E ATIVIDADES: Atualmente existe na UFPE um grupo muito atuante na área de Engenharia de Requisitos. Ele envolve professores do Centro de Informática e do Departamento de Eletrônica e Sistemas. Entre as atividades do grupo temos: _ *Desenvolvimento de modelos que permitem o uso de múltiplas perspectivas para as atividades relacionadas com a engenharia de requisitos. Ênfase na elicitação, especificação e gerenciamento de requisitos. _ * Estudo da melhoraria da qualidade dos requisitos e definição de um modelo de maturidade para a Engenharia de Requisitos. _ * Desenvolvimento de metodologias para elicitação, especificação e rastreamento de requisitos de sistemas. _ * Adequação da Engenharia de Requisitos para o paradigma de desenvolvimento orientado a agente. _ * Adequação da Engenharia de Requisitos para o desenvolvimento de Sistemas Robóticos. _ * Processos de Engenharia de Requisitos em Sistemas Embarcados. _ * Adequação da Engenharia de Requisitos para o paradigma de desenvolvimento orientado a aspectos.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Aêda Monalliza Cunha de Sousa - Integrante / Fernanda Maria Ribeiro de Alencar - Integrante / Tarcísio Couto Pereira - Integrante / Enyo Gonçalves - Integrante / Jaelson Castro - Coordenador / Gilberto Amado de Azevedo Cysneiros Filho - Integrante / Ricardo Argenton Ramos - Integrante / Carla Taciana Lima Lourenco Silva Schuenemann - Integrante / Maria Lencastre Pinheiro de Menezes Cruz - Integrante.

• 2014 - 2015

  Engenharia de Software, Descrição: Estudo das linguagens de programação e da engenharia de software, envolvendo o desenvolvimento de novas linguagens, implementação e otimização de compiladores voltados para aplicações específicas, estudos comparativos entre linguagens, utilização de linguagens formais na análise e verificação de sistemas e o estudo e proposição de métodos e técnicas que promovam o desenvolvimento de software confiáveis e com baixo custo.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Aêda Monalliza Cunha de Sousa - Integrante / celso Agra - Integrante / Josenildo Alanio de Souza Melo - Integrante / Fernanda Maria Ribeiro de Alencar - Integrante / Gilberto Amado de Azevedo Cysneiros Filho - Integrante / Timóteo Gomes da Silva - Integrante / Maria Lencastre Pinheiro de Menezes Cruz - Coordenador.

Projetos de desenvolvimento

• 2024 - Atual

  Escreva+, Descrição: Projeto para desenvolvimento de uma plataforma de correção de redação focado em análise de manuscrito desenvolvido por alunos de escolas públicas brasileiras. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) . , Integrantes: Aêda Monalliza Cunha de Sousa - Coordenador / Rafael Ferreira Leite de Mello - Integrante / Péricles B. C. de Miranda - Integrante / Gabriel A. Barbosa - Integrante / Rodrigo Medeiros - Integrante / Silas Augusto - Integrante / Lenon Anthony - Integrante.

• 2024 - Atual

  Sistema de Otimização de Fila para Inclusão na Educação Infantil, Descrição: Desenvolver uma plataforma integrada que apoie o mapeamento e a otimização da oferta de vagas na educação infantil, garantindo uma distribuição eficiente e equitativa dessas vagas, com foco nas crianças em situação de vulnerabilidade social.. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Aêda Monalliza Cunha de Sousa - Coordenador / Rafael Ferreira Leite de Mello - Integrante / Péricles B. C. de Miranda - Integrante / Angelina Nunes de Vasconcelos - Integrante.

• 2024 - Atual

  Escreva+, Descrição: Projeto para desenvolvimento de uma plataforma de correção de redação focado em análise de manuscrito desenvolvido por alunos de escolas públicas brasileiras. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) . , Integrantes: Aêda Monalliza Cunha de Sousa - Coordenador / Rafael Ferreira Leite de Mello - Integrante / Péricles B. C. de Miranda - Integrante / Gabriel A. Barbosa - Integrante / Rodrigo Medeiros - Integrante / Silas Augusto - Integrante / Lenon Anthony - Integrante.

• 2024 - Atual

  Sistema de Otimização de Fila para Inclusão na Educação Infantil, Descrição: Desenvolver uma plataforma integrada que apoie o mapeamento e a otimização da oferta de vagas na educação infantil, garantindo uma distribuição eficiente e equitativa dessas vagas, com foco nas crianças em situação de vulnerabilidade social.. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Aêda Monalliza Cunha de Sousa - Coordenador / Rafael Ferreira Leite de Mello - Integrante / Péricles B. C. de Miranda - Integrante / Angelina Nunes de Vasconcelos - Integrante.

Prêmios