Ana Isabella Muniz Leite

Está conduzindo seu pós-doutorado na Universidade de São Paulo (ICMC/USP). É membro permanente do Programa de Pós-Graduação em Ciências e Tecnologias em Saúde (PRPGP- PPGCTS/ UEPB). É Professora Doutora do Departamento de Ciência da Computação da Universidade Estadual da Paraíba (UEPB), Coordenadora do Curso de Computação e Pesquisadora do Núcleo de Tecnologias Estratégicas em Saúde (NUTES/UEPB). Possui o título de doutor (2023) em Ciências de Computação e Matemática Computacional pela USP. Possui o título de mestre (2007) e é bacharel (2004) em Ciência da Computação pela Universidade Federal de Campina Grande (UFCG). Foi pesquisadora visitante no Fraunhofer Institute for Experimental Software Engineering (Fraunhofer IESE), na área de Engenharia de Software em Sistemas Embarcados (2015-2018). Foi coordenadora do curso de Licenciatura em Computação no Centro de Ciências Exatas Aplicadas (CCEA/UEPB) (2012-2014). Suas pesquisas concentram-se na área de Engenharia de Software, em particular, em requisitos de software, sistemas safety-críticos, desenvolvimento ágil e qualidade de software.

Informações coletadas do Lattes em 24/04/2026

Acadêmico

Formação acadêmica

Doutorado em Ciências da Computação e Matemática Computacional

2019 - 2023

Universidade de São Paulo
Título: A method to the specification of safety requirements in agile contexts
Profa. Dra. Elisa Yumi Nakagawa. Palavras-chave: Safety-Critical Systems; Safety Requirements; Agile Development.Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Engenharia de Software. Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas Críticos.

Mestrado em Ciência da Computação

2005 - 2007

Universidade Federal de Campina Grande
Título: FLOAPP: Ambiente Integrado para Suporte às Comunidades de Desenvolvedores e Usuárias de Software Livre, Ano de Obtenção: 2007
Francilene Procópio Garcia.Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: Desenvolvimento Colaborativo; Software Livre; Modelo de Negócio.Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Engenharia de Software / Especialidade: Projetos Open Source. Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Engenharia de Software / Especialidade: Modelo e Gestão de Componentes. Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Engenharia de Software / Especialidade: Gestão de Projeto de Software Livre.

Graduação em Ciência da Computação

2000 - 2004

Universidade Federal de Campina Grande
Orientador: Walfredo Cirne
Bolsista do(a): Hewlett Packard, HP, Brasil.

Pós-doutorado

2024

Pós-Doutorado. , Universidade de São Paulo, USP, Brasil. , Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Safety-Critical Systems Development. , Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Safety Requirements. , Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Agile Development.

Formação complementar

2016 - 2016

Safety. (Carga horária: 8h). , Fraunhofer Institute for Experimental Software Engineering IESE, FRAUNHOFER IESE, Alemanha.

2016 - 2016

Testing. (Carga horária: 8h). , Fraunhofer Institute for Experimental Software Engineering IESE, FRAUNHOFER IESE, Alemanha.

2016 - 2016

Process Management. (Carga horária: 8h). , Fraunhofer Institute for Experimental Software Engineering IESE, FRAUNHOFER IESE, Alemanha.

2003 - 2003

Ocl Object Constraint Language. (Carga horária: 4h). , Universidade Federal de Campina Grande, UFCG, Brasil.

Idiomas

Bandeira representando o idioma Inglês

Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Bem.

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Engenharia de Software.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Arquitetura de Software.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Requisitos de Software.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Testes de Software.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Gestão de Projetos.

Organização de eventos

LEITE, ANA ISABELLA MUNIZ . I Semana de Educação, Ciência e Tecnologia do CCT. 2024. (Congresso).

LEITE, Ana Isabella Muniz ; OLIVEIRA, Ricardo Santos de . XVIII Maratona de Programação. 2013. (Concurso).

ABILIO, C. R. G. I. ; SILVA, J. W. L. ; LEITE, Ana Isabella Muniz ; FREIRE, A. C. ; FERREIRA, E. ; DIAS, J. V. ; CARDOSO, M. F. ; SANTOS, N. F. ; MELO, R. B. F. ; SILVA, S. C. ; SOUSA, S. C. . IV Mostra de Iniciação Científica e Extensão da UEPB (Campus VII). 2012. (Exposição).

LEITE, Ana Isabella Muniz ; OLIVEIRA, Ricardo Santos de . XVIII Maratona de Programação. 2013. (Concurso).

LEITE, ANA ISABELLA MUNIZ . I Semana de Educação, Ciência e Tecnologia do CCT. 2024. (Congresso).

Participação em eventos

Simpósio Brasileiro de Engenharia de Software.From Safety Requirements to Just-Enough Safety-Centered Architectural Solutions in Agile Contexts. 2020. (Simpósio).

2017 IEEE 25th International Requirements Engineering Conference (RE). An Approach to Support the Specification of Agile Artifacts in the Development of Safety-Critical Systems. 2017. (Congresso).

VII Congresso de Qualidade na Produção de Software. ProQualiti - VII Congresso de Qualidade na Produção de Software. 2006. (Congresso).

Congresso Catarinense de Software Livre. 2005. (Congresso).

SugarLoafPlop 2004 - The fourth Latin American Conference on Patterns Language of Programming. Web Test Pattern - Um catálogo de padrões de testes para aplicações web. 2004. (Congresso).

I Fórum OurGrid sobre Grids Computacionais (I FOGC).. 2003. (Simpósio).

VI Workshop de Métodos Formais da UFCG. 2003. (Congresso).

Participação em bancas

Aluno: Joao Pedro Miranda Cariry

Barbosa, P.E.S.;LEITE, ANA ISABELLA MUNIZ; GOMES, L. Q. L.. A Biblioteca Amqp-Client-Python. 2025. Trabalho de Conclusão de Curso (Graduação em Computação) - Universidade Estadual da Paraíba.

Aluno: JOYCE LIMA AVELINO

SOUTO, S. F.;LEITE, ANA ISABELLA MUNIZ; FARIAS, A. B.. Entendendo Falhas de Testes E2E no Contexto de Evolução: Estudo de Caso no Sistema Regpet. 2025. Trabalho de Conclusão de Curso (Graduação em Computação) - Universidade Estadual da Paraíba.

Aluno: Matheus Possidônio Golçalves Vieira Costa

SCHERER, D.;LEITE, Ana Isabella Muniz; GALDINO, K. E.. Desenvolvimento Backend de Sistema Web para Busca de Serviços de Saúde. 2024. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Estadual da Paraíba.

Aluno: Philipe de Oliveira Tavares

SCHERER, D.;LEITE, ANA ISABELLA MUNIZ; ARAUJO, W. C.. Proposta de Modelagem Para Softwares Gamificados Baseados em Narrativa. 2024. Trabalho de Conclusão de Curso (Graduação em Computação) - Universidade Estadual da Paraíba.

Aluno: Isley Martins Barbosa da Silva

Barbosa, P.E.S.;LEITE, ANA ISABELLA MUNIZ; GALDINO, K. E.. Desenvolvimento do Gerador de Relatórios no Sistema Mulheres de Peito. 2024. Trabalho de Conclusão de Curso (Graduação em Computação) - Universidade Estadual da Paraíba.

Aluno: Luana Vidal de Negreiros Nóbrega

Barbosa, P.E.S.; MORAIS, M. E.;LEITE, ANA ISABELLA MUNIZ. Visualização de Dados Com Grafana: Um Relato de Experiência em Sistemas de Saúde. 2024. Trabalho de Conclusão de Curso (Graduação em Computação) - Universidade Estadual da Paraíba.

Aluno: Irlla Martins Barbosa da Silva

Barbosa, P.E.S.; GALDINO, K. E.;LEITE, ANA ISABELLA MUNIZ. Sistema Mulheres de Peito: Registro de Acompanhamentos. 2024. Trabalho de Conclusão de Curso (Graduação em Computação) - Universidade Estadual da Paraíba.

Aluno: Anna Caroline Barreto Queiroz

GOMES, L. Q. L.; BISPO, M. C. T.;LEITE, ANA ISABELLA MUNIZ. Iniciativas de Inclusão: Um Relato Sobre O Projeto Mulheres na Computação da Uepb - Campus I. 2024. Trabalho de Conclusão de Curso (Graduação em Computação) - Universidade Estadual da Paraíba.

Aluno: Elioenai Roberto Lins Silva Coelho

SCHERER, D.; ARAUJO, W. C.;LEITE, ANA ISABELLA MUNIZ. Impacto das Skins na Experiência de Jogo em League Of Legends: Uma Análise de Usabilidade e Design. 2024. Trabalho de Conclusão de Curso (Graduação em Computação) - Universidade Estadual da Paraíba.

Aluno: Kaique da Silva Ivo

SOUTO, S. F.;LEITE, ANA ISABELLA MUNIZ; FARIAS, A. B.. Teste de Api no Contexto de Evolução de Microsserviços: Estudo de Caso no Sistema Regpet. 2024. Trabalho de Conclusão de Curso (Graduação em Computação) - Universidade Estadual da Paraíba.

Aluno: Leandro Lincoln Rodrigues

Barbosa, P.E.S.;LEITE, Ana Isabella Muniz; Maciel, E.Q.. Sistema de Monitoramento Fiscal de Postos de Combustíveis. 2023. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Estadual da Paraíba.

Aluno: Pablo Monteiro Santos

SCHERER, D.; SOUTO, S. F.;LEITE, Ana Isabella Muniz. Criando Web Service para Automatizar Testes de Usabilidade a partir do Método por Inspeção a Padrões. 2023. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Estadual da Paraíba.

Aluno: Renan Rey Costa Rodrigues

LEITE, F. L.;LEITE, Ana Isabella Muniz; NOBREGA, T.. Desenvolvimento de Arquitetura de Dados para Disponibilidade de Dados usando o Apache Airflow. 2023. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Estadual da Paraíba.

Aluno: Matheus Lucas dos Santos Rocha

Barbosa, P.E.S.;LEITE, ANA ISABELLA MUNIZ; SILVA, E. K. R.. Daltonview: Ferramenta de Auxílio Para Daltônicos. 2023. Trabalho de Conclusão de Curso (Graduação em Computação) - Universidade Estadual da Paraíba.

Aluno: Rafaela Cândido Carneiro Fernandes

ISIDRO, C. R. G.;LEITE, Ana Isabella Muniz; CAVALCANTE JUNIOR, E. H.. Metodologias Ágeis na Gestão de Equipes Remotas. 2023. Trabalho de Conclusão de Curso (Graduação em Computação) - Universidade Estadual da Paraíba.

Aluno: Jessica Oliveira da Silva

ABILIO, C. R. G. I.;LEITE, Ana Isabella Muniz; SOUTO, S. F.. Desenvolvimento de um Protótipo de Sistema Web para Gestão de Orientações de Trabalhos de Conclusão de Curso. 2022. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Estadual da Paraíba.

Aluno: Rauny Henrique Bezerra

LEITE, F. L.; SOUTO, S. F.;LEITE, Isabella Muniz. Sistema para Acompanhamento Processual Unificado e Simplificado dos Tribunais de Justiça do País. 2021. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Estadual da Paraíba.

Aluno: Livia Caroline Tomaz Santos

SOUTO, S. F.; VASCONCELOS, K.;LEITE, Isabella Muniz. Processo de Teste para Validação Funcional de Projetos com Desenvolvimento Distribuído de Software: Uma Aplicação no Projeto OCARIoT. 2020. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Estadual da Paraíba.

Aluno: Gustavo Rocha Spena

BRANCO, K. R. L. J. C.;LEITE, Ana Isabella Muniz. Simulador de diagnósticos e tratamentos em pacientes para estudo e prática para estudantes na área de saúde. 2019. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade de São Paulo.

Aluno: Alanna Camylla Coelho Monteiro

LEITE, Ana Isabella Muniz; GOMES, L. Q. L.; CAVALCANTI JUNIOR, E. H.. Requisitos Não-Funcionais para o Desenvolvimento de Software Educacional. 2014. Trabalho de Conclusão de Curso (Graduação em Licenciatura em Computação) - Universidade Estadual da Paraíba.

Aluno: Jefferson Felipe Silva de Lima

GOMES, L. Q. L.;LEITE, Ana Isabella Muniz; CAVALCANTI JUNIOR, E. H.. Quali-Edu: Um processo de Avaliação da Qualidade do Produto de Software Educacional. 2014. Trabalho de Conclusão de Curso (Graduação em Licenciatura em Computação) - Universidade Estadual da Paraíba.

Aluno: Rodrigo Brazão Texeira

BUBLITZ, F. M.;LEITE, Ana Isabella Muniz; GOMES, L. Q. L.. Análise de Processos de Desenvolvimento de Software Tradicional e Ágil, com Foco em Sistemas Médicos. 2014. Trabalho de Conclusão de Curso (Graduação em Licenciatura em Computação) - Universidade Estadual da Paraíba.

Aluno: Judson Ferreira de Oliveira

COSTA, R. A.;LEITE, Ana Isabella Muniz; MEDEIROS, R. A.. IA na educação através de sistemas tutores inteligentes. 2013. Trabalho de Conclusão de Curso (Graduação em Licenciatura em Computação) - Universidade Estadual da Paraíba.

Aluno: José Fagner Rodrigues Medeiros

COSTA, R. A.;LEITE, Ana Isabella Muniz; COSTA, V. A. S.. Mapeamento Comparativo dos Processos de Gerenciamento de Projetos MPS.Br e PMBOK. 2013. Trabalho de Conclusão de Curso (Graduação em Licenciatura em Computação) - Universidade Estadual da Paraíba.

Aluno: Hélio Alves Gama Filho

OLIVEIRA, E. E. C.;LEITE, Ana Isabella Muniz; SUAREZ, P. R.. Análise de Software Construfig3D numa Perspectiva Pedagógica. 2013. Trabalho de Conclusão de Curso (Graduação em Licenciatura em Computação) - Universidade Estadual da Paraíba.

Aluno: Fernanda Monteiro Saraiva

BARROS, J. D.;LEITE, Ana Isabella Muniz; OLIVEIRA, E. E. C.. Um estudo prático sobre segurança da informação. 2012. Trabalho de Conclusão de Curso (Graduação em Licenciatura em Computação) - Universidade Estadual da Paraíba.

LEITE, Isabella Muniz; VASCONCELOS, K.; Albuquerque, A. C.. Processo Seletivo para Professor Substituto. 2020. Universidade Estadual da Paraíba.

VASCONCELOS, K.;LEITE, ANA ISABELLA MUNIZ; LEITE, F. L.. Progressão Funcional na carreira da professora Mestre Cheyenne Ribeiro Guedes Isidro. 2020. Universidade Estadual da Paraíba.

Orientou

Luiz José Mendonça Duarte

UM PIPELINE DEVSECOPS: ABORDANDO OS DESAFIOS DA CIBERSEGURANÇA EM SISTEMAS DE SAÚDE; Início: 2024; Iniciação científica (Graduando em Computação) - Universidade Estadual da Paraíba, Conselho Nacional de Desenvolvimento Científico e Tecnológico; (Orientador);

Vitor de Jesus Mamede Soares

VALIDAÇÃO ARQUITETURAL BASEADA EM SEGURANÇA NO DESENVOLVIMENTO ÁGIL DE SISTEMAS EM SAÚDE; Início: 2024; Iniciação científica (Graduando em Computação) - Universidade Estadual da Paraíba, Conselho Nacional de Desenvolvimento Científico e Tecnológico; (Orientador);

Edilson do Nascimento Costa Júnior

REQUISITOS DE SEGURANÇA PARA SISTEMAS DE MONITORAMENTO REMOTO DE SAÚDE; Início: 2024; Iniciação científica (Graduando em Computação) - Universidade Estadual da Paraíba, Fundação de Apoio à Pesquisa do Estado da Paraíba; (Orientador);

Edilson do Nascimento Costa Júnior

Uma Contribuição Para a Especificação de Requisitos de Segurança em Contexto Ágil; 2025; Trabalho de Conclusão de Curso; (Graduação em Computação) - Universidade Estadual da Paraíba, Fundação de Apoio à Pesquisa do Estado da Paraíba; Orientador: Ana Isabella Muniz Leite;

Mateus Cordeiro Viana

Modelagem de Processos da Graduação do Curso de Computação; 2025; Trabalho de Conclusão de Curso; (Graduação em Computação) - Universidade Estadual da Paraíba; Orientador: Ana Isabella Muniz Leite;

José Renan Alves Pereira

Uso de Testes Exploratório e de Integração em Uma Plataforma Microserviços; 2024; Trabalho de Conclusão de Curso; (Graduação em Computação) - Universidade Estadual da Paraíba; Orientador: Ana Isabella Muniz Leite;

Lucas Fausto Medeiros

Architectural Design For a Immersive Virtual Reality; 2024; Trabalho de Conclusão de Curso; (Graduação em Computação) - Universidade Estadual da Paraíba; Orientador: Ana Isabella Muniz Leite;

Marcelo Victor Araujo Pedrosa

Desvendando Viés : Mapeamento de Processos e Ferramentas na Detecção de Viés e Mitigação de Viés em Modelos de Aprendizado de Máquina; 2024; Trabalho de Conclusão de Curso; (Graduação em Computação) - Universidade Estadual da Paraíba; Orientador: Ana Isabella Muniz Leite;

Henrique José dos Santos Martins

Automatização de Testes Funcionais: Um Relato de Experiência; 2024; Trabalho de Conclusão de Curso; (Graduação em Computação) - Universidade Estadual da Paraíba; Orientador: Ana Isabella Muniz Leite;

Cris Henrique Silva

Visualização de Dados aplicadas na construção da Base de TCC do Curso de Ciência da Computação UEPB; 2023; Trabalho de Conclusão de Curso; (Graduação em Ciências da Computação) - Universidade Estadual da Paraíba; Orientador: Ana Isabella Muniz Leite;

Clearlison Nóbrega da Costa

Análise Dinâmica de Detectores de Conteúdo IA; 2023; Trabalho de Conclusão de Curso; (Graduação em Ciências da Computação) - Universidade Estadual da Paraíba; Orientador: Ana Isabella Muniz Leite;

Davi Gonçalves campos

App para Gerenciamento de Eventos; 2022; Trabalho de Conclusão de Curso; (Graduação em Ciências da Computação) - Universidade Estadual da Paraíba; Orientador: Ana Isabella Muniz Leite;

Anderson Renoir Felix da SIlva

Predição de Riscos em Projetso Ágeis Através da Análise de Dados: Um estudo de caso; 2022; Trabalho de Conclusão de Curso; (Graduação em Ciências da Computação) - Universidade Estadual da Paraíba; Orientador: Ana Isabella Muniz Leite;

Suely Palmeira de Souza

Benefícios e desafios decorrentes do uso dos sistemas aplicados ao contexto educacional durante o ensino remoto emergencial; 2021; Trabalho de Conclusão de Curso; (Graduação em Ciências da Computação) - Universidade Estadual da Paraíba; Orientador: Ana Isabella Muniz Leite;

João Emanuel da Silva Lins

A Aplicação de Técnicas de Visualização de Dados na Disseminação do Conhecimento; 2021; Trabalho de Conclusão de Curso; (Graduação em Ciências da Computação) - Universidade Estadual da Paraíba; Orientador: Ana Isabella Muniz Leite;

Andecio Araujo Batista

Cibersegurança no E-Commerce durante a Pandemia: Medidas de Proteção à Ataques de Agentes Maliciosos; 2021; Trabalho de Conclusão de Curso; (Graduação em Ciências da Computação) - Universidade Estadual da Paraíba; Orientador: Ana Isabella Muniz Leite;

Ana Cláudia Cruz da Silva

Um estudo sobre os modelos de processos de análise de requisitos para o desenvolvimento de software educacional; 2013; Trabalho de Conclusão de Curso; (Graduação em Licenciatura em Computação) - Universidade Estadual da Paraíba; Orientador: Ana Isabella Muniz Leite;

Maria Conceição Medeiros

Confiabilidade do Software no Desenvolvimento Ágil de Sistemas; 2009; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Faculdades Integradas de Patos; Orientador: Ana Isabella Muniz Leite;

Fernanda Nóbrega

Inserção da Inspeção de Usabilidade em Metodologias Ágeis; 2009; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Faculdades Integradas de Patos; Orientador: Ana Isabella Muniz Leite;

Alexandra Brito Oliveira

Gestão de equipe em projetos de SW Livre x Projetos tradicionais; 2009; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Faculdades Integradas de Patos; Orientador: Ana Isabella Muniz Leite;

José Marques N

Junior; Segurança da Informação na Web 2; 0; 2009; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Faculdades Integradas de Patos; Orientador: Ana Isabella Muniz Leite;

Luanda Alves de Medeiros

Gerência de Configuração Aplicada à Qualidade de Software; 2009; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Faculdades Integradas de Patos; Orientador: Ana Isabella Muniz Leite;

ÍTALO QUIRINO BRILHANTE

Análise de Métricas de Qualidade de Software na Aplicação Prática do TDD; 2009; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Faculdades Integradas de Patos; Orientador: Ana Isabella Muniz Leite;

Fabricio Oliveira de Araújo

Gestão de TI como um processo colaborativo; 2009; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Faculdades Integradas de Patos; Orientador: Ana Isabella Muniz Leite;

Gabriel Marcos da Silva

Estudo de Caso sobre a Implantação da Central de Serviços; 2009; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Faculdades Integradas de Patos; Orientador: Ana Isabella Muniz Leite;

Vimael Romano

Estudo e Avaliação da Evolução do Padrão MVC; 2008; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Faculdades Integradas de Patos; Orientador: Ana Isabella Muniz Leite;

Danilo Tabira

Usabilidade e Acessibilidade para Portadores de Necessidades Especiais na WEB; 2008; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Faculdades Integradas de Patos; Orientador: Ana Isabella Muniz Leite;

Roberto Vinicius Marques

Desenvolvimento de Sistemas de Informação utilizando Ambientes Colaborativos; 2008; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Faculdades Integradas de Patos; Orientador: Ana Isabella Muniz Leite;

Roberto Clébio

Usando Web Semântica para criação de um mediador; 2008; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Faculdades Integradas de Patos; Orientador: Ana Isabella Muniz Leite;

Danielle Almeida

Gestão de Software em Governos Municipais; 2008; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Faculdades Integradas de Patos; Orientador: Ana Isabella Muniz Leite;

Edilson do Nascimento Costa Júnior

Validação Funcional Centrada em Segurança para Sistemas de Monitoramento Remoto da Saúde; 2023; Iniciação Científica; (Graduando em Ciências da Computação) - Universidade Estadual da Paraíba; Orientador: Ana Isabella Muniz Leite;

Caio Vinicius Aragão Duarte

SAADHEALTH: Verificação da Arquitetura Centrada em Safety no Desenvolvimento Ágil de Sistemas em Saúde; 2020; Iniciação Científica; (Graduando em Ciências da Computação) - Universidade Estadual da Paraíba, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ana Isabella Muniz Leite;

Edson Sales de Souza Neto

Um Modelo de Qualidade em Testes para Validação de Software em Equipamentos Médicos; ; 2016; Iniciação Científica; (Graduando em Ciências da Computação) - Universidade Estadual da Paraíba, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ana Isabella Muniz Leite;

Daniel Marques Vasconcelos Guimarães

Um Modelo de Qualidade em Testes para Validação de Software em Equipamentos Médicos; ; 2014; Iniciação Científica; (Graduando em Ciências da Computação) - Universidade Estadual da Paraíba, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ana Isabella Muniz Leite;

Produções bibliográficas

  • LEITE, ANA ISABELLA MUNIZ ; LAGOA, LUCAS ; LOPES, SAMUEL ; BRAGA, ROSANA ; ANTONINO, PABLO OLIVEIRA ; NAKAGAWA, ELISA YUMI . An Investigation of Knowledge Gaps of Graduate Students Regarding Safety-Critical Systems Development: A Controlled Experiment. IEEE Transactions on Education , v. 65, p. 64-72, 2022.

  • LEITE, Isabella Muniz ; ANTONINO, PABLO OLIVEIRA ; NAKAGAWA, ELISA YUMI . From Safety Requirements to Just-Enough Safety-Centered Architectural Solutions in Agile Contexts. In: SBES '20: 34th Brazilian Symposium on Software Engineering, 2020, Natal Brazil. Proceedings of the 34th Brazilian Symposium on Software Engineering, 2020. p. 766.

  • LEITE, ANA ISABELLA MUNIZ . An Approach to Support the Specification of Agile Artifacts in the Development of Safety-Critical Systems. In: 2017 IEEE 25th International Requirements Engineering Conference (RE), 2017, Lisbon. 2017 IEEE 25th International Requirements Engineering Conference (RE), 2017. p. 526.

  • Bruno Coitinho Araújo ; LEITE, Ana Isabella Muniz ; GARCIA, Francilene Procópio ; Anne Caroline O. Rocha ; Arthur N. da R. Xavier . Web-based tool for automatic acceptance test execution and scripting for programmers and customers. In: EATIS - Euro American Conference on Telematics and Information Systems, 2007, Faro. Proceedings EATIS 2007 - Euro American Conference on Telematics and Information Systems, 2007.

  • LEITE, Ana Isabella Muniz ; José Augusto Oliveira Neto . OSS Factory: Development Model based at OSS Practices. In: ICEIS - International Conference on Enterprise Information Systems, 2007, Funchal. Ninth International Conference on Enterprise Information Systems Proceedings, 2007. v. 9th.

  • MOURA, Antão ; GARCIA, Francilene Procópio ; LEITE, Ana Isabella Muniz ; José Augusto Oliveira Neto ; BARROS, Marcelo . Addressing Challenges of OSS Application Development for IT Naïve, Poor Users. In: European Comission / IEEE eChallenges, 2007, Haia. Expanding the Knowledge Economy - Issues, Applications, Case Studies. Amsterdam: IOS Press, 2007. v. 4. p. 197-204.

  • LEITE, Ana Isabella Muniz ; GARCIA, Francilene Procópio . FLO-Pref Library - Biblioteca de componentes e-gov. In: Simpósio Brasileiro de Engenharia de Software, 2006, Florianópolis. XX Simpósio Brasileiro de Engenharia de Software, 2006. v. 20.

  • LEITE, Ana Isabella Muniz ; REBOUÇAS, Rodrigo . Web Test Pattern - Um catálogo de padrões de testes para aplicações web. In: SugarLoafPlop 2004 - The fourth Latin American Conference on Patterns Language of Programming, 2004, Fortaleza. SugarLoafPlop 2004 Proceedings, 2004.

Outras produções

LEITE, ANA ISABELLA MUNIZ . Revisora do Artigo do XX International Conference on Software Technologies (ICSOFT 2025). 2025.

LEITE, ANA ISABELLA MUNIZ . Revisora do Artigo do VI IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS 2025). 2025.

LEITE, ANA ISABELLA MUNIZ . Revisora do Artigo do ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM 2025). 2025.

LEITE, Isabella Muniz . Revisora de Artigo do XXI Simpósio Brasileiro de Computação Aplicada Á Saúde (SBCAS 2021). 2021.

LEITE, Ana Isabella Muniz . Revisora do Artigo do 47th Seminário Integrado de Software e Hardware do CSBC (SEMISH 2020). 2020.

LEITE, Ana Isabella Muniz . Revisora de Artigo da 35th ACM/SIGAPP Symposium On Applied Computing (SAC 2020). 2019.

LEITE, Ana Isabella Muniz . Revisora do artigo do IX Workshop de Tese e Dissertações of CBSoft (WTDSoft 2019). 2019.

LEITE, Ana Isabella Muniz . Revisora de Artigo do XXXIII Simpósio Brasileiro de Engenharia de Software (SBES 2019). 2019.

LEITE, Ana Isabella Muniz . Revisora do artigo da 25th Australasian Software Engineering Conference (ASWEC 2018). 2018.

LEITE, Isabella Muniz ; DUARTE, C.V. A. . Software Architecture Verification in Agile Development of Safety-Critical Systems: An Overview. 2021. (Relatório de pesquisa).

LEITE, Isabella Muniz ; VASCONCELOS, D. M. ; SOUZA, E. S. . Um Modelo de Qualidade em Testes para Validação de Software em Equipamentos Médicos.. 2016. (Relatório de pesquisa).

LEITE, Isabella Muniz ; SOUZA, E. S. ; VASCONCELOS, D. M. . Uma Ferramenta (Plugin) para Desenvolvimento de Testes de Software Baseado em Modelos. 2015. (Relatório de pesquisa).

Projetos de pesquisa

  • 2024 - Atual

    Um Pipeline DevSecOps: Abordando os Desafios da Cibersegurança em Sistemas de Saúde, Descrição: O presente projeto tem como objetivo propor um pipeline DevSecOps para sistemas de monitoramento remoto da saúde com base nos requisitos de segurança e com base nos aspectos da engenharia de software ágil.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) . , Integrantes: Ana Isabella Muniz Leite - Coordenador / Luiz José Mendonça Duarte - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.

  • 2024 - Atual

    REQUISITOS DE SEGURANÇA PARA SISTEMAS DE MONITORAMENTO REMOTO DE SAÚDE, Descrição: O presente projeto tem como objetivo propor um método para sistematizar a derivação de requisitos de segurança para sistemas monitoramento de saúde em um contexto de desenvolvimento ágil. Os resultados obtidos nesse projeto de pesquisa serão continuamente integrados no contexto do projeto da Sênior Saúde Móvel no NUTES.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) . , Integrantes: Ana Isabella Muniz Leite - Coordenador / Edilson do Nascimento Costa Júnior - Integrante / HENRIQUE JOSE DOS SANTOS MARTINS - Integrante., Financiador(es): Fundação de Apoio à Pesquisa do Estado da Paraíba - Bolsa.

  • 2024 - Atual

    Validação Arquitetural baseada em Segurança no Desenvolvimento Ágil de Sistemas em Saúde, Descrição: O presente projeto tem como objetivo propor um processo (método e ferramentas) para sistematizar a validação da arquitetura de software orientada a segurança de sistemas em saúde. A metodologia envolve desde o estudo de conceitos básicos na área de validação arquitetural de software, como a análise das normas de segurança para o domínio em saúde. Assim como a identificação de informações relacionadas à segurança que devem ser verificadas na arquitetura; finalizando com avaliação conduzida por meio de múltiplos ciclos de design, de modo que os artefatos sejam iterativamente estudados e melhorados através do suporte dos colaboradores.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) . , Integrantes: Ana Isabella Muniz Leite - Coordenador / VITOR JESUS MAMEDE SOARES - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.

  • 2023 - 2024

    VALIDAÇÃO FUNCIONAL CENTRADA EM SEGURANÇA PARA SISTEMAS DE MONITORAMENTO REMOTO DA SAÚDE, Descrição: O projeto tem como objetivo propor um modelo de qualidade funcional para validação de sistemas de monitoramento remoto da saúde com base nos requisitos de segurança e com base nos aspectos da engenharia de software ágil. Este modelo será utilizado como o ponto principal para a avaliação de sistemas de monitoramento remoto que poderá ser implantado tanto por setores de desenvolvimento da indústria, quanto por instituições reguladoras.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) . , Integrantes: Ana Isabella Muniz Leite - Coordenador / Edilson do Nascimento Costa Júnior - Integrante / HENRIQUE JOSE DOS SANTOS MARTINS - Integrante., Financiador(es): Fundação de Apoio à Pesquisa do Estado da Paraíba - Bolsa., Número de produções C, T & A: 1

  • 2023 - Atual

    SPIRA-BM: Biomarcadores para condições respiratórias em dispositivos móveis por análise de áudio com inteligência artificial (Projeto Temático FAPESP N. 2023/00488-5, Pesquisadores Principais: Marcelo Finger, Elisa Yumi Nakagawa e Larissa Cristina Berti), Descrição: O objetivo geral deste Projeto Temático é o desenvolvimento de conhecimento teórico, técnico e tecnológico sobre biomarcadores de condições respiratórias, cuja aplicação seja prática, barata e viável para a população brasileira. Utilizando técnicas de aprendizado de máquina, inteligência artificial e análise de áudio, vamos investigar biomarcadores de áudio para condições respiratórias como insuficiência respiratória, efeitos do tabagismo, e asma grave. O projeto visa desenvolver, numa primeira fase, sistemas de computação móvel que realizem a tarefa de coleta de áudio e, cujos dados serão sujeitos a processos de análise de áudio e treinamento de redes neurais; numa segunda fase, um sistema de aplicação das informações resultantes do aprendizados serão utilizadas num ambiente clínico, num processo de validação clínica da ferramenta. Há vários desafios de pesquisa inerentes a estes objetivos. Na área de inteligência artificial, teremos de desenvolver sistemas de classificação, estimativa e previsão de eventos; por exemplo, pretendemos classificar vozes com insuficiência respiratória, estimar o nível de monóxido de carbono exalado (COex) por fumantes e prever a probabilidade de ocorrência de exacerbação da asma. Na área de engenharia de software, temos o desafio de desenvolver uma arquitetura de referência para sistemas de áudio em saúde. na área de estudos de e voz e fala, teremos de encontrar padrões discriminantes das condições dos biomarcadores, por exemplo, condições de identificação de insuficiência respiratória. Nas áreas de saúde, temos os desafios de obter áudios dos pacientes ao longo do seguimento e de integrar os trabalhos clínicos com técnicas de inteligência artificial, de forma a viabilizar a aplicação prática dos biomarcadores. Para conseguir enfrentar estes desafios, o projeto se organiza de forma matricial, com três linhas de pesquisa visando desenvolver biomarcadores de áudio por computação móvel para as condições: (1) insuficiência respiratória; (2) efeitos do tabagismo; e (3) asma grave. Estas atividades são tratadas por quatro eixos transversais de ações nos âmbitos de: (a) coleta de dados; (b) engenharia de software; (c) análise acústica; e (d) aprendizado de máquina.Este Projeto baseia-se nos resultados de pesquisa alcançados no projeto SPIRA (FAPESP, 2020/06443-5) que, motivado pela pandemia de COVID-19, demonstrou a viabilidade da detecção de insuficiência respiratória por análise de áudio captado em dispositivos móveis em pacientes da primeira onda da pandemia. O grupo multidisciplinar de pesquisa conta com o mesmo cerne de pesquisadores, expandido para lidar com questões dos efeitos do tabagismo e asma grave... , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Ana Isabella Muniz Leite - Integrante / NAKAGAWA, ELISA YUMI - Coordenador / Marcelo Finger - Integrante / Larissa Cristina Berti - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.

  • 2020 - 2021

    SAADHEALTH: VERIFICAÇÃO DA ARQUITETURA CENTRADA EM SAFETY NO DESENVOLVIMENTO ÁGIL DE SISTEMAS EM SAÚDE, Descrição: O principal objetivo desta pesquisa é contribuir para melhorar o nível de confiança da solução arquitetural orientada a safety, em particular para sistemas de saúde.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Ana Isabella Muniz Leite - Coordenador / CAIO VINÍCIUS ARAGÃO DUARTE - Integrante., Número de produções C, T & A: 1

  • 2014 - 2016

    Um Modelo de Qualidade em Testes para Validação de Software em Equipamentos Médicos., Descrição: Promover melhorias no processo de validação de softwares em equipamentos médicos através de um modelo de qualidade em testes que atenda tanto a análise das funcionalidades e requisitos de qualidade, mas que seja fortemente baseado em questões de segurança (safety).. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) . , Integrantes: Ana Isabella Muniz Leite - Coordenador / Edson Sales de Souza Neto - Integrante / Daniel Marques Vasconcelos Guimarães - Integrante.

Projetos de desenvolvimento

  • 2005 - 2009

    Via Digital, Descrição: A proposta deste projeto é a criação de um serviço completo, operacional e auto-sustentável que integre uma biblioteca de componentes e de softwares livres e que sirva de elo entre prefeituras, desenvolvedores e empresas/cooperativas, organizados em torno de modelos de negócio do software livre. Esta biblioteca será ponto de referência para abastecer prefeituras com software pré-formatado para as necessidades mais comuns (e que devam atender a especificações legais exigidas por leis ou regulamentos federais/estaduais) e componentes genéricos para montagem de sistemas mais específicos, de acordo com características e requisitos específicos dos municípios... , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (15) / Mestrado acadêmico: (1) / Doutorado: (3) . , Integrantes: Ana Isabella Muniz Leite - Integrante / Francilene Procópio Garcia - Coordenador., Financiador(es): Financiadora de Estudos e Projetos - Bolsa., Número de produções C, T & A: 2

  • 2005 - 2009

    Via Digital, Descrição: A proposta deste projeto é a criação de um serviço completo, operacional e auto-sustentável que integre uma biblioteca de componentes e de softwares livres e que sirva de elo entre prefeituras, desenvolvedores e empresas/cooperativas, organizados em torno de modelos de negócio do software livre. Esta biblioteca será ponto de referência para abastecer prefeituras com software pré-formatado para as necessidades mais comuns (e que devam atender a especificações legais exigidas por leis ou regulamentos federais/estaduais) e componentes genéricos para montagem de sistemas mais específicos, de acordo com características e requisitos específicos dos municípios... , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (15) / Mestrado acadêmico: (1) / Doutorado: (3) . , Integrantes: Ana Isabella Muniz Leite - Integrante / Francilene Procópio Garcia - Coordenador., Financiador(es): Financiadora de Estudos e Projetos - Bolsa., Número de produções C, T & A: 2

  • 2005 - 2009

    Via Digital, Descrição: A proposta deste projeto é a criação de um serviço completo, operacional e auto-sustentável que integre uma biblioteca de componentes e de softwares livres e que sirva de elo entre prefeituras, desenvolvedores e empresas/cooperativas, organizados em torno de modelos de negócio do software livre. Esta biblioteca será ponto de referência para abastecer prefeituras com software pré-formatado para as necessidades mais comuns (e que devam atender a especificações legais exigidas por leis ou regulamentos federais/estaduais) e componentes genéricos para montagem de sistemas mais específicos, de acordo com características e requisitos específicos dos municípios... , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (15) / Mestrado acadêmico: (1) / Doutorado: (3) . , Integrantes: Ana Isabella Muniz Leite - Integrante / Francilene Procópio Garcia - Coordenador., Financiador(es): Financiadora de Estudos e Projetos - Bolsa., Número de produções C, T & A: 2

  • 2005 - 2009

    Via Digital, Descrição: A proposta deste projeto é a criação de um serviço completo, operacional e auto-sustentável que integre uma biblioteca de componentes e de softwares livres e que sirva de elo entre prefeituras, desenvolvedores e empresas/cooperativas, organizados em torno de modelos de negócio do software livre. Esta biblioteca será ponto de referência para abastecer prefeituras com software pré-formatado para as necessidades mais comuns (e que devam atender a especificações legais exigidas por leis ou regulamentos federais/estaduais) e componentes genéricos para montagem de sistemas mais específicos, de acordo com características e requisitos específicos dos municípios... , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (15) / Mestrado acadêmico: (1) / Doutorado: (3) . , Integrantes: Ana Isabella Muniz Leite - Integrante / Francilene Procópio Garcia - Coordenador., Financiador(es): Financiadora de Estudos e Projetos - Bolsa., Número de produções C, T & A: 2

  • 2005 - 2009

    Via Digital, Descrição: A proposta deste projeto é a criação de um serviço completo, operacional e auto-sustentável que integre uma biblioteca de componentes e de softwares livres e que sirva de elo entre prefeituras, desenvolvedores e empresas/cooperativas, organizados em torno de modelos de negócio do software livre. Esta biblioteca será ponto de referência para abastecer prefeituras com software pré-formatado para as necessidades mais comuns (e que devam atender a especificações legais exigidas por leis ou regulamentos federais/estaduais) e componentes genéricos para montagem de sistemas mais específicos, de acordo com características e requisitos específicos dos municípios... , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (15) / Mestrado acadêmico: (1) / Doutorado: (3) . , Integrantes: Ana Isabella Muniz Leite - Integrante / Francilene Procópio Garcia - Coordenador., Financiador(es): Financiadora de Estudos e Projetos - Bolsa., Número de produções C, T & A: 2

  • 2005 - 2009

    Via Digital, Descrição: A proposta deste projeto é a criação de um serviço completo, operacional e auto-sustentável que integre uma biblioteca de componentes e de softwares livres e que sirva de elo entre prefeituras, desenvolvedores e empresas/cooperativas, organizados em torno de modelos de negócio do software livre. Esta biblioteca será ponto de referência para abastecer prefeituras com software pré-formatado para as necessidades mais comuns (e que devam atender a especificações legais exigidas por leis ou regulamentos federais/estaduais) e componentes genéricos para montagem de sistemas mais específicos, de acordo com características e requisitos específicos dos municípios... , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (15) / Mestrado acadêmico: (1) / Doutorado: (3) . , Integrantes: Ana Isabella Muniz Leite - Integrante / Francilene Procópio Garcia - Coordenador., Financiador(es): Financiadora de Estudos e Projetos - Bolsa., Número de produções C, T & A: 2

  • 2005 - 2009

    Via Digital, Descrição: A proposta deste projeto é a criação de um serviço completo, operacional e auto-sustentável que integre uma biblioteca de componentes e de softwares livres e que sirva de elo entre prefeituras, desenvolvedores e empresas/cooperativas, organizados em torno de modelos de negócio do software livre. Esta biblioteca será ponto de referência para abastecer prefeituras com software pré-formatado para as necessidades mais comuns (e que devam atender a especificações legais exigidas por leis ou regulamentos federais/estaduais) e componentes genéricos para montagem de sistemas mais específicos, de acordo com características e requisitos específicos dos municípios... , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (15) / Mestrado acadêmico: (1) / Doutorado: (3) . , Integrantes: Ana Isabella Muniz Leite - Integrante / Francilene Procópio Garcia - Coordenador.Financiador(es): Financiadora de Estudos e Projetos - Bolsa., Número de produções C, T & A: 2

  • 2005 - 2009

    Via Digital, Descrição: A proposta deste projeto é a criação de um serviço completo, operacional e auto-sustentável que integre uma biblioteca de componentes e de softwares livres e que sirva de elo entre prefeituras, desenvolvedores e empresas/cooperativas, organizados em torno de modelos de negócio do software livre. Esta biblioteca será ponto de referência para abastecer prefeituras com software pré-formatado para as necessidades mais comuns (e que devam atender a especificações legais exigidas por leis ou regulamentos federais/estaduais) e componentes genéricos para montagem de sistemas mais específicos, de acordo com características e requisitos específicos dos municípios... , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (15) / Mestrado acadêmico: (1) / Doutorado: (3) . , Integrantes: Ana Isabella Muniz Leite - Integrante / Francilene Procópio Garcia - Coordenador., Financiador(es): Financiadora de Estudos e Projetos - Bolsa., Número de produções C, T & A: 2

  • 2005 - 2009

    Via Digital, Descrição: A proposta deste projeto é a criação de um serviço completo, operacional e auto-sustentável que integre uma biblioteca de componentes e de softwares livres e que sirva de elo entre prefeituras, desenvolvedores e empresas/cooperativas, organizados em torno de modelos de negócio do software livre. Esta biblioteca será ponto de referência para abastecer prefeituras com software pré-formatado para as necessidades mais comuns (e que devam atender a especificações legais exigidas por leis ou regulamentos federais/estaduais) e componentes genéricos para montagem de sistemas mais específicos, de acordo com características e requisitos específicos dos municípios... , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (15) / Mestrado acadêmico: (1) / Doutorado: (3) . , Integrantes: Ana Isabella Muniz Leite - Integrante / Francilene Procópio Garcia - Coordenador., Financiador(es): Financiadora de Estudos e Projetos - Bolsa., Número de produções C, T & A: 2

  • 2005 - 2009

    Via Digital, Descrição: A proposta deste projeto é a criação de um serviço completo, operacional e auto-sustentável que integre uma biblioteca de componentes e de softwares livres e que sirva de elo entre prefeituras, desenvolvedores e empresas/cooperativas, organizados em torno de modelos de negócio do software livre. Esta biblioteca será ponto de referência para abastecer prefeituras com software pré-formatado para as necessidades mais comuns (e que devam atender a especificações legais exigidas por leis ou regulamentos federais/estaduais) e componentes genéricos para montagem de sistemas mais específicos, de acordo com características e requisitos específicos dos municípios... , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (15) / Mestrado acadêmico: (1) / Doutorado: (3) . , Integrantes: Ana Isabella Muniz Leite - Integrante / Francilene Procópio Garcia - Coordenador., Financiador(es): Financiadora de Estudos e Projetos - Bolsa., Número de produções C, T & A: 2

  • 2025 - Atual

    E-cidades, Descrição: O E-cidades é um sistema de de software público utilizado em municípios brasileiros para informatizar a gestão pública. Ele visa integrar e modernizar os serviços municipais, abrangendo áreas como educação, saúde, finanças, patrimônio, entre outros. De modo particular, este projeto é conduzido no contexto da Prefeitura Municipal de Campina Grande (PMCG) com foco em otimizar o módulo de Folha de Pagamento.. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Ana Isabella Muniz Leite - Integrante / Fabio Luiz Leite Junior - Integrante / Paulo Eduardo e Silva Barbosa - Coordenador., Financiador(es): Prefeitura Municipal de Campina Grande - Bolsa.

  • 2024 - Atual

    Telemonitoramento de Gestantes, Descrição: A Sênior Saúde Móvel usa a tecnologia e a inteligência artificial para acompanhar remotamente as atividades desenvolvidas pelas gestantes. A plataforma permite compreender melhor os habitos e rotina da gestante, como está a qualidade do sono desses indivíduos, buscando estimular o engajamento da prática de atividade física, recebendo monitoramento em tempo real pela equipe de profissionais que operam a tecnologia. Assim, a gestante é motivada a tornar-se corresponsável por sua evolução ao longo de toda a gestação.. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Ana Isabella Muniz Leite - Integrante / Paulo Eduardo e Silva Barbosa - Coordenador / EUJESSIKA KATIELLY RODRIGUES SILVA - Integrante.

  • 2005 - 2009

    Via Digital, Descrição: A proposta deste projeto é a criação de um serviço completo, operacional e auto-sustentável que integre uma biblioteca de componentes e de softwares livres e que sirva de elo entre prefeituras, desenvolvedores e empresas/cooperativas, organizados em torno de modelos de negócio do software livre. Esta biblioteca será ponto de referência para abastecer prefeituras com software pré-formatado para as necessidades mais comuns (e que devam atender a especificações legais exigidas por leis ou regulamentos federais/estaduais) e componentes genéricos para montagem de sistemas mais específicos, de acordo com características e requisitos específicos dos municípios... , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (15) / Mestrado acadêmico: (1) / Doutorado: (3) . , Integrantes: Ana Isabella Muniz Leite - Integrante / Francilene Procópio Garcia - Coordenador., Financiador(es): Financiadora de Estudos e Projetos - Bolsa., Número de produções C, T & A: 2

Prêmios

2007

I Concurso ViaDigital de SW Empreendedor de Código Aberto para Prefeituras, UFCG/UFSC/Cenpra.

Histórico profissional

Endereço profissional

  • Universidade Estadual da Paraíba, Reitoria, Centro de Ciência e Tecnologia. , Rua Baraúnas, 351, Universitário, 58429500 - Campina Grande, PB - Brasil, Telefone: (83) 33153300, URL da Homepage:

Experiência profissional

2011 - Atual

Universidade Estadual da Paraíba

Vínculo: Servidor público, Enquadramento Funcional: Professor Efetivo, Carga horária: 40, Regime: Dedicação exclusiva.

2010 - 2011

Universidade Estadual da Paraíba

Vínculo: Substituto, Enquadramento Funcional: Professora, Carga horária: 40

2008 - 2008

Universidade Estadual da Paraíba

Vínculo: Professor Substituto, Enquadramento Funcional: Professora, Carga horária: 16

Outras informações:
www.uepb.edu.br

Atividades

  • 05/2025

    Conselhos, Comissões e Consultoria, Conselho de Ensino, Pesquisa e Extensão.Cargo ou função, MeMem.

  • 04/2025

    Direção e administração, Reitoria, Centro de Ciência e Tecnologia.Cargo ou função, Coordenadora de Curso de Computação.

  • 02/2020

    Pesquisa e desenvolvimento, NUTES - Núcleo de Tecnologias Estratégicas em Saúde.Linhas de pesquisa

  • 11/2011

    Ensino, Ciências da Computação, Nível: GraduaçãoDisciplinas ministradas, Engenharia de Software, Gerência de Projetos, Sistemas Operacionais, Estrutura de Dados

  • 03/2021 - 03/2025

    Direção e administração, Reitoria, Centro de Ciência e Tecnologia.Cargo ou função, Coordenadora Adjunta do Curso de Ciência da Computação.

  • 10/2012 - 04/2014

    Direção e administração, Reitoria, Centro de Ciências Exatas e Sociais Aplicadas.Cargo ou função, Coordenadora do Curso de Licenciatura em Computação.

  • 05/2011 - 04/2014

    Ensino, Licenciatura em Computação, Nível: GraduaçãoDisciplinas ministradas, Estágio Supervisionado III, Linguagem de Programação II (Java), Lógica para Computação, Pesquisa em Ensino na Computação, Projeto com Orientação Objetos, Sistemas Operacionais, Projeto de Interface

  • 05/2012 - 05/2012

    Conselhos, Comissões e Consultoria, Reitoria, Centro de Ciências Exatas e Sociais Aplicadas.Cargo ou função, Membro da Comissão Eleitoral para Reitoria (Portaria/UEPB/CE/011/2012).

  • 03/2010 - 04/2011

    Ensino, Licenciatura em Computação, Nível: GraduaçãoDisciplinas ministradas, Computação Aplicada a Administração, Linguagem de Programação, Lógica Aplicada a Computação, Sistemas Operacionais

  • 02/2008 - 12/2008

    Ensino, Licenciatura em Computação, Nível: GraduaçãoDisciplinas ministradas, Análise e Projeto de Sistemas, Computação Aplicada a Ciência, Introdução a Informática, Organização de Arquivos e Computadores, Pesquisa Aplicada

2023 - Atual

Universidade de São Paulo

Vínculo: Pesquisador, Enquadramento Funcional: Pesquisador

2015 - 2018

Fraunhofer Institute for Experimental Software Engineering IESE

Vínculo: Pesquisador Visitante, Enquadramento Funcional: Pesquisadora, Carga horária: 40

2007 - 2010

Faculdades Integradas de Patos

Vínculo: Professora, Enquadramento Funcional: Professor, Carga horária: 20

Outras informações:
FIP - Faculdades Integradas de Patos www.ffm.com.br

Atividades

  • 08/2007 - 05/2010

    Ensino, Sistemas de Informação, Nível: GraduaçãoDisciplinas ministradas, CASI - Controle e Avaliação de Sistemas de Informação, Engenharia de Requisitos, Gerência da Informação, Gestão de Projetos, Modelagem de Dados, Programação para Internet, Qualidade de Software, Redes II (Interconexão de Redes)

2007 - 2007

Centro de Estudos e Sistemas Avançados do Recife

Vínculo: Colaborador, Enquadramento Funcional: Engenheira de Teste, Carga horária: 40, Regime: Dedicação exclusiva.

Outras informações:
Colaboradora do grupo de Teste de Software: - Cliente: C.E.S.A.R/MOTOROLA - Projeto: J2EE - Língua: INGLÊS

2005 - 2007

Universidade Federal de Campina Grande

Vínculo: Bolsista do Mestrado, Enquadramento Funcional: Estudante, Carga horária: 40, Regime: Dedicação exclusiva.

2003 - 2004

Universidade Federal de Campina Grande

Vínculo: Bolsista, Enquadramento Funcional: Estudante, Carga horária: 20

Outras informações:
Integrante do projeto OurGrid, promovido pela Universidade Federal de Campina Grande, do Laboratório de Sistemas Distrtibuídos em parceria com a Hewlett-Packard (HP Brasil) .

Atividades

  • 08/2005 - 10/2006

    Estágios , Centro de Ciência e Tecnologia, DSC - Departamento de Sistemas e Computação.Estágio realizado, Estágio Docência - Laboratório de Engenharia de Software.

  • 05/2004 - 09/2004

    Estágios , Centro de Ciências e Tecnologia, Laboratório de Sistemas Distribuídos.Estágio realizado, Gerência de Configuração.

2006 - 2007

Prefeitura Municipal de Fagundes

Vínculo: Coordenadora, Enquadramento Funcional: Coordenadora do Projeto TELECOM, Carga horária: 16

Outras informações:
Coordenação do Projeto de Inclusão Digital via Software Livre em parceria com a Prefeitura de Fagundes-PB e o Governo Federal

Atividades

  • 02/2006 - 01/2007

    Direção e administração, Secretária de Educação.Cargo ou função, Coordenadora do Projeto de Inclusão Digital promovido pelo Governo Federal em parceria com a Prefeitura Municipal (TELECOM).

2004 - 2005

Universidade Federal de Pernambuco

Vínculo: Bolsista, Enquadramento Funcional: Estudante, Carga horária: 40, Regime: Dedicação exclusiva.

Outras informações:
Curso Sequencial de Imersão Tecnológica, promovido pela Universidade Federal de Pernambuco, do Centro de Informárica em parceria com a Motorola.

Atividades

  • 09/2004 - 01/2005

    Estágios , Centro de Informática, Cin Motorola.Estágio realizado, Analise de Testes.

2006 - 2007

Centro Educação e Desenvolvimento Superior

Vínculo: Professor, Enquadramento Funcional: Professor, Carga horária: 3

Atividades

  • 08/2006 - 02/2007

    Ensino, Sistemas de Informação, Nível: GraduaçãoDisciplinas ministradas, CASI - Controle e Avaliação de Sistemas de Informação, Engenharia de Software