Franciny Medeiros Barreto
Possui graduação em Ciência da Computação pela Universidade Federal de Goiás (2012), mestrado (2015) e doutorado (2020) em Ciência da Computação pela Universidade Federal de Uberlândia. Atua profissionalmente como professora na Universidade Federal de Jataí (antes nomeada Universidade Federal de Goiás - Regional Jataí). Os interesses de pesquisa são em Engenharia de Software, especialmente em modelagem e análise de software, e teoria e aplicações de redes de Petri.
Informações coletadas do Lattes em 27/01/2025
Acadêmico
Formação acadêmica
Doutorado em Ciência da Computação
2015 - 2020
Universidade Federal de Uberlândia
Título: Uma abordagem baseada em Redes de Petri para Modelagem, Análise e Simulação de Cenários de Vídeo Games Singleplayer e Multiplayer
, Ano de obtenção: 2020. Stéphane Julia. Palavras-chave: Engenharia de Software; Redes de Petri; WorkFlow nets; Video Games; Redes de Petri Coloridas.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Engenharia de Software.
Mestrado em Ciência da Computação
2013 - 2015
Universidade Federal de Uberlândia
Título: Modelagem e análise de vídeo games baseadas em WorkFlow net e Grafos de estado, Ano de Obtenção: 2015
Stéphane Julia.Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Grande área: Ciências Exatas e da Terra
Graduação em Ciência da Computação
2009 - 2012
Universidade Federal de Goiás
Título: Viabilidade da análise de websites de comércio eletrônico sob a ótica do neuromarketing
Orientador: Joslaine Cristina Jeske de Freitas
Formação complementar
2023 - 2023
Fase preparatória das contratações na nova Lei de Licitações. (Carga horária: 16h). , Excelência Educação, EE, Brasil.
2020 - 2020
Temos que dar aulas remotas... E agora?. (Carga horária: 10h). , Escola Nacional de Administração Pública, ENAP, Brasil.
2018 - 2018
Oficina: o trabalho da comissão de heteroidentificação. (Carga horária: 8h). , Universidade Federal de Goiás - Regional Jataí, UFG, Brasil.
2016 - 2016
Gestão de Projetos 1 - Como trabalhar com projetos?. (Carga horária: 11h). , Fundação Bradesco, BRADESCO, Brasil.
2016 - 2016
Curso de Docência no Ensino Superior na Regional Jataí. (Carga horária: 50h). , Universidade Federal de Goiás - Regional Jataí, UFG, Brasil.
2016 - 2016
Processo de desenvolvimento de software. (Carga horária: 12h). , Fundação Bradesco, BRADESCO, Brasil.
Idiomas
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Português
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Áreas de atuação
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.
Organização de eventos
BORGES, F. F. ; BARRETO, F. M. ; SILVA JUNIOR, A. F. ; SILVA, M. A. ; ASSIS, D. V. B. ; MORAES, L. F. ; JESKE DE FREITAS, J. C. ; BARBOSA, B. M. . Secomp & UFJ TechWeek. 2024. (Congresso).
SILVEIRA NETO, A. N. ; LUIZ, A. R. ; BARBOSA, B. M. ; LEAL, C. R. A. A. ; BORGES, C. J. ; SILVA, D. F. P. ; REIS, E. F. ; CASTELHANO, E. C. ; LEITE, G. R. ; COELHO, K. R. ; ELIAS, L. A. ; MAIA, L. G. ; DIAS, M. S. ; IORI, P. ; CRUZ, S. C. S. ; SOUZA, A. F. ; BARRETO, FRANCINY M. ; SOUSA, G. V. ; BEVILAQUA, I. T. ; SILVA, L. G. ; et.al . VIII Conepe - Ciências Básicas para o Desenvolvimento Sustentável. 2023. (Congresso).
Participação em eventos
Fórum Nacional de Pró-reitores de Assuntos Comunitários e Estudantis. 2023. (Outra).
VIII Conepe - Ciências Básicas para o Desenvolvimento Sustentável. Minicurso - Trabalhos orais: metodologia, dicas de superação das principais dificuldades, e a utilização de plataformas digitais. 2023. (Congresso).
VIII Conepe - Ciências Básicas para o Desenvolvimento Sustentável. 2023. (Congresso).
11th Brazilian Conference on Software ? CBSoft 2020. 2020. (Congresso).
III CONEPE - CONGRESSO DE ENSINO, PESQUISA E EXTENSÃO. 2018. (Congresso).
XIII SECOMP. 2018. (Congresso).
VIII Congresso Brasileiro de Software. Modeling of Video Games Using Workflow Nets and State Graphs. 2017. (Congresso).
V Congresso Brasileiro de Informática na Educação. 2016. (Congresso).
24th Annual International Conference on Computer Science and Software Engineering.Modeling and analysis of video games based on WorkFlow nets and State Graphs. 2014. (Outra).
II Mostra de monografias.Viabilidade da análise de websites de comércio eletrônico sob a ótica do neuromarketing. 2013. (Outra).
III Seminário de Pesquisa da UFG.Estudo da viabilidade do uso de neuromarketing na construção de websites de comércio eletrônico. 2012. (Seminário).
IX CONPEEX - Congresso de Pesquisa, Ensino e Extensão. 2012. (Congresso).
V SEREX - Seminário de Extensão Universitária da Região Centro-Oeste. 2012. (Seminário).
V SEREX - Seminário de Extensão Universitária da Região Centro-Oeste.ANÁLISE DA USABILIDADE DE EDITOR DE TEXTO PARA USUÁRIOS DA TERCEIRA IDADE. 2012. (Seminário).
XIX SIMPEP - Simpósio de Engenharia de Produção. 2012. (Simpósio).
XIX SIMPEP - Simpósio de Engenharia de Produção.Análise da viabilidade do uso de neuromarketing na construção de websites de comércio eletrônico. 2012. (Simpósio).
VII SECOMP. 2011. (Congresso).
2º Workshop de tecnologia. 2010. (Outra).
Espaço das Profissões - CAJ-UFG.Apresentação para estudantes de ensino médio sobre o curso de Ciência da Computação - CAJ-UFG. 2010. (Outra).
6º Semana de Licenciatura. 2009. (Congresso).
Top English. 2009. (Oficina).
V SECOMP. 2009. (Congresso).
Participação em bancas
CASTRO, P. A.; FERNANDES SOBRINHO, M.; ROSALEM, V.;BARRETO, F. M.. Eficiência e sustentabilidade na educação superior: análise estratégica de ferramentas de nuvem e suas implicações financeiras. 2024. Dissertação (Mestrado em Programa de Pós-Graduação em Gestão Organizacional Mestrado Profissional em) - Universidade Federal de Catalão.
JULIA, S.BARRETO, F. M.; FERNANDES, M. A.; SILVA, J. R.. Modelo de Simulação de Vídeo Games baseado em um Ambiente 3D e em Redes de Petri Coloridas. 2024. Dissertação (Mestrado em Programa de Pós-graduação em Ciência da Computação) - Universidade Federal de Uberlândia.
LIMA, L. V.; LOPES, J. E. F.; MELO, S. L.;BARRETO, F. M.; REZENDE, L. P.. Uma abordagem de arquitetura em nuvem para dados educacionais em um sistematutor inteligente em contexto de Big Data. 2022. Tese (Doutorado em Programa de Pós-graduação em Engenharia Elétrica) - Universidade Federal de Uberlândia.
LIMA, L. V.; REZENDE, L. P.; ARAUJO, R. D.;BARRETO, F. M.; LOPES, J. E. F.. Arquitetura de um sistema tutor inteligente para recomendação personalizada de objetos de aprendizagem considerando as características afetivas e o conhecimento do estudante. 2021. Tese (Doutorado em Programa de Pós-Graduação em Engenharia Elétrica) - Universidade Federal de Uberlândia.
LIMA, L. V.; LOPES, J. E. F.;BARRETO, F. M.. Uma abordagem de infraestrutura para recuperação e análise de informação no contexto de Big Data em um Sistema Tutor Inteligente. 2021. Exame de qualificação (Doutorando em Programa de Pós-Graduação em Engenharia Elétrica) - Universidade Federal de Uberlândia.
FERNANDES SOBRINHO, M.; CASTRO, P. A.; LEAL, G. S.;BARRETO, F. M.. Ferramentas de nuvem, Google Workspace e Microsoft Office 365: Estudo de custo entre serviços pagos e gratuitos. 2024. Exame de qualificação (Mestrando em Programa de Pós-Graduação em Gestão Organizacional Mestrado Profissional em) - Universidade Federal de Catalão.
JESKE DE FREITAS, J. C.; COSTA, WALTER ALVES;BARRETO, F. M.. Estudo Sobre Técnicas de Inteligência Artificial para a Seleção de Perfis Profissionais. 2024. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Jataí.
JESKE DE FREITAS, J. C.; JUNQUEIRA, BARRETO, F. M.. Modelagem de Processo de Negócios: Um Estudo de Caso Sistema de Matrícula da UFJ. 2024. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Jataí.
JESKE DE FREITAS, J. C.; FASSINI, J.;BARRETO, F. M.. Ferramentas de Inteligência Artificial e Neuromarketing na Divulgação de Produtos. Um Estudo de Caso.. 2024. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Jataí.
JESKE DE FREITAS, J. C.; BARBOSA, B. M.;BARRETO, F. M.. Avaliação de Tecnologias Assistivas: Uma Abordagem Comparativa. 2024. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Jataí.
BORGES, F. F.; JESKE DE FREITAS, J. C.;BARRETO, F. M.. Técnicas de Análise de Dados na Detecção de Fraudes Financeiras. 2024. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Jataí.
JESKE DE FREITAS, J. C.; REZENDE, C.M.C.;BARRETO, F. M.. Inteligência Artificial na Educação Brasileira: uma Revisão Sistemática da Literatura. 2023. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Jataí.
JESKE DE FREITAS, J. C.; REZENDE, C.M.C.;BARRETO, F. M.. Simulação de cenários para melhoria do tráfego de Jataí. 2023. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Jataí.
BARRETO, F. M.; JESKE DE FREITAS, J. C.; REZENDE, C.M.C.. Análise e Modelagem de sistemas de disponibilidade de satélite de navegação utilizando Redes de Petri Coloridas. 2023. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Jataí.
BARRETO, F. M.; JESKE DE FREITAS, J. C.; REZENDE, C.M.C.. Modelagem do problema da mochila com Rede de Petri Colorida. 2023. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Jataí.
BARRETO, F. M.; JESKE DE FREITAS, J. C.; REZENDE, C.M.C.. Modelagem e Simulação de Processos Biológicos com Redes de Petri Coloridas. 2023. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Jataí.
INOCENCIO, A. C. G.; JESKE DE FREITAS, J. C.;BARRETO, F. M.. Girard.Metodologia GamE para o desenvolvimento de habilidades empreendedoras. 2023. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Jataí.
BARRETO, F. M.; JESKE DE FREITAS, J. C.; REZENDE, C.M.C.. Modelagem de Processos de Negociação em Ambientes Corporativos. 2023. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Jataí.
BARRETO, F. M.; JESKE DE FREITAS, J. C.; REZENDE, C.M.C.. Modelagem de Fluxo de Atividades Agrícolas por meio de Redes de Petri. 2023. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Jataí.
BARRETO, F. M.; JESKE DE FREITAS, J. C.; REZENDE, C.M.C.. Modelagem de Redes Neurais Artificiais utilizando Redes de Petri Coloridas. 2023. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Jataí.
JESKE DE FREITAS, J. C.;BARRETO, F. M.; RIBEIRO, M.W. de S.. Home office e Modelagem de Processos de Negócios. 2023. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Jataí.
REZENDE, C.M.C.; JESKE DE FREITAS, J. C.;BARRETO, F. M.. Um Estudo sobre o Pensamento Computacional no Ensino Superior. 2023. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Jataí.
JESKE DE FREITAS, J. C.;BARRETO, F. M.; REZENDE, C.M.C.. Utilização de ferramenta de simulação para análise de vias sinalizadas semaforicamente na cidade de Jataí. 2023. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Jataí.
LOPES, M. M.;BARRETO, F. M.; FREITAS, M. S.. Migração de Contêineres Serverless no Contexto de Computação em Névoa. 2022. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Jataí.
COSTA, A. A.;BARRETO, F. M.; GOMES, P. F.. Simulação computacional do comportamento de ratos sob efeitos ansiolíticos e ansiogênicos no teste da caixa claro-escuro por meio de redes neurais artificiais e algoritmo genético. 2022. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Jataí.
BARRETO, F. M.; JESKE DE FREITAS, J. C.; REZENDE, C.M.C.. Roteiro para Proporcionar a Criação de Podcasts para Uso Acadêmico. 2022. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Jataí.
INOCENCIO, A. C. G.; REZENDE, C.M.C.;BARRETO, F. M.. GAMEIZI: Auxiliando docentes na estratégia de gamifi cação. 2022. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Jataí.
OLIVEIRA, T. B.;BARRETO, F. M.; FRANCA JUNIOR, P.. Histograma Espacial Híbrido para Melhoria da Precisão da Seletividade de Consultas de Janela. 2022. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Jataí.
BARRETO, F. M.; GABRIEL, P. H. R.;JULIA, S.. Simulação 3D de cenários de Vídeo Games modelados por redes de Petri Coloridas no software SIMIO. 2021. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Uberlândia.
REZENDE, C.M.C.;BARRETO, F. M.; JESKE DE FREITAS, J. C.. O Uso de Jogos Digitais em um Contexto Inclusivo: um Mapeamento Sistemático. 2021. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Jataí.
JULIA, S.BARRETO, F. M.; JESKE DE FREITAS, J. C.. Geração de Event Logs Fuzzy por meio de Simulação para Análise de Diferentes Cenários de uma Workflow net Fuzzy Utilizando Mineração de Processos. 2021. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Jataí.
INOCENCIO, A. C. G.;BARRETO, F. M.; SILVA, T. A.; MARCELINO, G. G.. CAATec - Um Conjunto de Critérios Desenvolvido para Análise de Tecnologias Assistivas para Surdos. 2021. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Jataí.
BARRETO, F. M.; REZENDE, C.M.C.; JESKE DE FREITAS, J. C.. Software Assistivos Aplicados a Deficientes Visuais - Uma Revisão da Literatura. 2019. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Goiás - Regional Jataí.
Inocêncio, A. C. G.; BOAVENTURA, A. P. F. V.;BARRETO, F. M.. HOALDI - Um Conjunto de Heurísticas para Avaliação e Desenvolvimento de Objetos de Aprendizagem para a Lousa Digital Interativa. 2018. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Goiás - Regional Jataí.
JESKE DE FREITAS, J. C.;BARRETO, F. M.; REZENDE, C.M.C.. Modelagem e Verificação Formal de um Sistema de Reserva de um Hotel. 2018. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Goiás - Regional Jataí.
BARRETO, F. M.; JESKE DE FREITAS, J. C.; REZENDE, C.M.C.. Modelagem Formal de Vídeo Games. 2018. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Goiás - Regional Jataí.
BARRETO, F. M.; JESKE DE FREITAS, J. C.; REZENDE, C.M.C.. Estudo do estado da arte dos métodos de modelagem de jogos em nível de projeto. 2018. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Goiás - Regional Jataí.
BOAVENTURA, A. P. F. V.;BARRETO, FRANCINY M.; Inocêncio, A. C. G.. Repositório temático para compartilhamento de redes PERT/CPM criadas com a ferramenta PERTool. 2018. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Goiás - Regional Jataí.
JESKE DE FREITAS, J. C.; REZENDE, C.M.C.;BARRETO, F. M.. Construção de um modelo de simulação para o escalonamento de processos não-preemptivos. 2018. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Goiás - Regional Jataí.
REZENDE, C.M.C.;BARRETO, F. M.; BORGES, F. F.. Softwares para Gestão da Bovinocultura Leiteira Brasileira: Um Mapeamento Sistemático. 2018. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Goiás - Regional Jataí.
OLIVEIRA, T. B.; ROCHA, B.M.;BARRETO, F. M.. França.Precisão da Estimativa de Seletividade de Tarefas de Junção Espacial Distribuída usando Histogramas de Euler. 2018. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Goiás - Regional Jataí.
OLIVEIRA, T. B.; JESKE DE FREITAS, J. C.;BARRETO, F. M.. Elaboração de uma Linguagem de Programação Específica para Robótica Educacional. 2018. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Goiás - Regional Jataí.
OLIVEIRA, T. B.; JESKE DE FREITAS, J. C.;BARRETO, F. M.. Avaliação da Precisão da Estimativa de Seletividade em Histogramas de Grade para Objetos Espaciais do Tipo Linha Decompostos. 2018. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Goiás - Regional Jataí.
BOAVENTURA, A. P. F. V.;BARRETO, F. M.; LOPES, M. M.. Proposta de um metódo hibrido baseado em Crowdsourcing e Gamificação para apoiar a criação de Objetos de Aprendizagem. 2018. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Goiás - Regional Jataí.
BARRETO, F. M.; JESKE DE FREITAS, J. C.; BOAVENTURA, A. P. F. V.. Conjunto de Heurísticas para Avaliação de Jogabilidade de Vídeo Games. 2018. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Goiás - Regional Jataí.
BOAVENTURA, A. P. F. V.; REZENDE, C.M.C.;BARRETO, F. M.. Mapeamento Sistemático de Ferramentas para Simulação Acústica de Salas. 2017. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Goiás - Regional Jataí.
ROCHA, B.M.;BARRETO, F. M.; REZENDE, C.M.C.. APPortuguês - Um aplicativo de ensino de português para estrangeiros. 2016. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Goiás - Regional Jataí.
FREITAS, M. S.; CUNHA, I. T.;BARRETO, FRANCINY M.; OLIVEIRA, T. B.. Banca Examinadora do Processo Seletivo Simplificado para contratação de Professor Substituto. 2024. Universidade Federal de Jataí.
JESKE DE FREITAS, J. C.;BARRETO, F. M.; BISPO JUNIOR, E. L.. Banca examinadora do processo seletivo simplificado para contratação de professor substituto. 2019. Universidade Federal de Goiás - Regional Jataí.
OLIVEIRA, T. B.;BARRETO, F. M.; LOPES, M. M.. Banca examinadora do processo seletivo simplificado para contratação de professor substituto. 2018. Universidade Federal de Goiás - Regional Jataí.
JESKE DE FREITAS, J. C.; Inocêncio, A. C. G.;BARRETO, F. M.. Banca Examinadora do Processo Seletivo Simplificado para contratação de Professor Substituto. 2018. Universidade Federal de Goiás - Regional Jataí.
JESKE DE FREITAS, J. C.;BARRETO, F. M.; BISPO JUNIOR, E. L.; OLIVEIRA, T. B.. Banca examinadora do processo seletivo simplificado para contratação de professor substituto. 2017. Universidade Federal de Goiás - Regional Jataí.
CUNHA, I. T.; BISPO JUNIOR, E. L.;BARRETO, F. M.; OLIVEIRA, T. B.. Banca examinadora do processo seletivo simplificado para contratação de professor substituto. 2017. Universidade Federal de Goiás - Regional Jataí.
Orientou
Ferramentas de Inteligência Artificial na Educação básica: uma revisão de literatura; Início: 2024; Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Jataí; (Orientador);
Modelagem e Análise Formal Baseada em Rede de Petri de Sistema de Gestão Acadêmica (SGA); Início: 2024; Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Jataí; (Orientador);
Modelagem da comunicação entre neurônios artificiais baseada em rede de Petri; Início: 2024; Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Jataí; (Orientador);
Análise de jogabilidade em modelos formais de jogos; Início: 2024; Iniciação científica (Graduando em Ciências da Computação) - Universidade Federal de Jataí; (Orientador);
Modelagem hierárquica e análise formal de cenários de jogos; Início: 2024; Iniciação científica (Graduando em Ciências da Computação) - Universidade Federal de Jataí; (Orientador);
Estágio Curricular Obrigatório; Local: Secretaria de Comunicação (Secom/UFJ); Início: 2024; Orientação de outra natureza; Universidade Federal de Jataí; (Orientador);
Estágio Curricular Obrigatório; Local: Coordenação de Ciência da Computação (BCC/UFJ); Início: 2024; Orientação de outra natureza; Universidade Federal de Jataí; (Orientador);
Estágio Curricular Obrigatório; Local: Secretaria de Comunicação (Secom/UFJ); Início: 2024; Orientação de outra natureza; Universidade Federal de Jataí; (Orientador);
Estágio Curricular Obrigatório; Local: Coordenação de Ciência da Computação (BCC/UFJ); Início: 2024; Orientação de outra natureza; Universidade Federal de Jataí; (Orientador);
Estágio Curricular Obrigatório; Local: Planeta Waka; Início: 2024; Orientação de outra natureza; Universidade Federal de Jataí; (Orientador);
Estágio Curricular Obrigatório; Local: Secretaria de Tecnologia e Informação (SeTI/UFJ); Início: 2024; Orientação de outra natureza; Universidade Federal de Jataí; (Orientador);
Estágio Curricular Obrigatório; Local: Secretaria de Tecnologia e Informação (SeTI/UFJ); Início: 2024; Orientação de outra natureza; Universidade Federal de Jataí; (Orientador);
Estágio Curricular Obrigatório; Local: Secretaria de Tecnologia e Informação (SeTI/UFJ); Início: 2024; Orientação de outra natureza; Universidade Federal de Jataí; (Orientador);
Estágio Curricular Obrigatório; Local: Secretaria de Tecnologia e Informação (SeTI/UFJ); Início: 2024; Orientação de outra natureza; Universidade Federal de Jataí; (Orientador);
Modelo de Simulação de Vídeo Games baseado em um Ambiente 3D e em Redes de Petri Coloridas; 2022; Dissertação (Mestrado em Programa de Pós-graduação em Ciência da Computação) - Universidade Federal de Uberlândia, ; Coorientador: Franciny Medeiros Barreto;
Modelagem Formal de Sistema Especialista Com o Uso De Redes De Petri; 2024; Trabalho de Conclusão de Curso; (Graduação em Ciências da Computação) - Universidade Federal de Jataí; Orientador: Franciny Medeiros Barreto;
Estudo da viabilidade do uso de Mineração de Processos para auxiliar no processo de desenvolvimento de jogos; 2024; Trabalho de Conclusão de Curso; (Graduação em Ciências da Computação) - Universidade Federal de Jataí; Orientador: Franciny Medeiros Barreto;
Análise e Modelagem de sistemas de disponibilidade de satélite de navegação utilizando Redes de Petri Coloridas; 2023; Trabalho de Conclusão de Curso; (Graduação em Ciências da Computação) - Universidade Federal de Jataí; Orientador: Franciny Medeiros Barreto;
Modelagem de Redes Neurais Artificiais utilizando Redes de Petri Coloridas; 2023; Trabalho de Conclusão de Curso; (Graduação em Ciências da Computação) - Universidade Federal de Jataí; Orientador: Franciny Medeiros Barreto;
Modelagem de Fluxo de Atividades Agrícolas por meio de Redes de Petri; 2023; Trabalho de Conclusão de Curso; (Graduação em Ciências da Computação) - Universidade Federal de Jataí; Orientador: Franciny Medeiros Barreto;
Modelagem e Simulação de Processos Biológicos com Redes de Petri Coloridas; 2023; Trabalho de Conclusão de Curso; (Graduação em Ciências da Computação) - Universidade Federal de Jataí; Orientador: Franciny Medeiros Barreto;
Modelagem de Processos de Venda Utilizando Redes de Petri; 2023; Trabalho de Conclusão de Curso; (Graduação em Ciências da Computação) - Universidade Federal de Jataí; Orientador: Franciny Medeiros Barreto;
Modelagem do problema da mochila com Rede de Petri Colorida; 2023; Trabalho de Conclusão de Curso; (Graduação em Ciências da Computação) - Universidade Federal de Jataí; Orientador: Franciny Medeiros Barreto;
O desenvolvimento e uso de Podcasts como ferramenta de auxílio no ensino-aprendizagem de um curso de Ciências da Computação; 2022; Trabalho de Conclusão de Curso; (Graduação em Ciências da Computação) - Universidade Federal de Jataí; Orientador: Franciny Medeiros Barreto;
Uma abordagem baseada em redes de Petri para a modelagem, análise e simulação defluxos de processos administrativos; 2020; Trabalho de Conclusão de Curso; (Graduação em Ciências da Computação) - Universidade Federal de Jataí; Orientador: Franciny Medeiros Barreto;
Uma Abordagem Formal para a Representação de Níveis de Videogames Multiplayer; 2020; Trabalho de Conclusão de Curso; (Graduação em Ciências da Computação) - Universidade Federal de Jataí; Orientador: Franciny Medeiros Barreto;
Método para análise de quests baseado em Redes de Petri; 2020; Trabalho de Conclusão de Curso; (Graduação em Ciências da Computação) - Universidade Federal de Jataí; Orientador: Franciny Medeiros Barreto;
Softwares Assistivos Aplicados a Deficientes Visuais - Uma Revisão da Literatura; 2019; Trabalho de Conclusão de Curso; (Graduação em Ciências da Computação) - Universidade Federal de Goiás - Regional Jataí; Orientador: Franciny Medeiros Barreto;
Uma Solução Computacional Como Ferramenta de Apoio à Tomada de Decisões em Ambientes Médicos; 2019; Trabalho de Conclusão de Curso; (Graduação em Ciências da Computação) - Universidade Federal de Goiás - Regional Jataí; Orientador: Franciny Medeiros Barreto;
Estudo do estado da arte dos métodos de modelagem de jogos em nível de projeto; 2018; Trabalho de Conclusão de Curso; (Graduação em Ciências da Computação) - Universidade Federal de Goiás - Regional Jataí; Orientador: Franciny Medeiros Barreto;
Modelagem formal de vídeo games; 2018; Trabalho de Conclusão de Curso; (Graduação em Ciências da Computação) - Universidade Federal de Goiás - Regional Jataí; Orientador: Franciny Medeiros Barreto;
Conjunto de Heurísticas para Avaliação de Jogabilidade de Vídeo Games; 2018; Trabalho de Conclusão de Curso; (Graduação em Ciências da Computação) - Universidade Federal de Goiás - Regional Jataí; Orientador: Franciny Medeiros Barreto;
Softwares para gestão da bovinocultura leiteira: uma revisão bibliográfica; 2018; Trabalho de Conclusão de Curso; (Graduação em Ciências da Computação) - Universidade Federal de Goiás - Regional Jataí; Orientador: Franciny Medeiros Barreto;
Análise e Modelagem de sistemas de disponibilidade de satélite de navegação utilizando Redes de Petri Coloridas; 2023; Iniciação Científica; (Graduando em Ciências da Computação) - Universidade Federal de Jataí; Orientador: Franciny Medeiros Barreto;
Uma revisão da literatura sobre o uso e a relação entre Mineração de Processos, Redes de Petri e Jogos Virtuais; 2023; Iniciação Científica; (Graduando em Ciências da Computação) - Universidade Federal de Jataí; Orientador: Franciny Medeiros Barreto;
Modelagem de análise de Sistemas Especialistas usando Redes de Petri; 2023; Iniciação Científica; (Graduando em Ciências da Computação) - Universidade Federal de Jataí; Orientador: Franciny Medeiros Barreto;
Monitoria de Estrutura de Dados I; 2024; Orientação de outra natureza; (Ciências da Computação) - Universidade Federal de Jataí; Orientador: Franciny Medeiros Barreto;
Monitoria de Estrutura de Dados 1; 2023; Orientação de outra natureza; (Ciências da Computação) - Universidade Federal de Jataí; Orientador: Franciny Medeiros Barreto;
Monitoria de Estrutura de Dados 1; 2023; Orientação de outra natureza; (Ciências da Computação) - Universidade Federal de Jataí; Orientador: Franciny Medeiros Barreto;
Monitoria de Estrutura de Dados 1; 2022; Orientação de outra natureza; (Ciências da Computação) - Universidade Federal de Jataí; Orientador: Franciny Medeiros Barreto;
Monitoria de Estrutura de Dados 2; 2021; Orientação de outra natureza; (Ciências da Computação) - Universidade Federal de Jataí; Orientador: Franciny Medeiros Barreto;
Monitoria de Estrutura de Dados; 2019; Orientação de outra natureza; (Ciências da Computação) - Universidade Federal de Goiás - Regional Jataí; Orientador: Franciny Medeiros Barreto;
Monitoria de Estrutura de Dados; 2018; Orientação de outra natureza; (Ciências da Computação) - Universidade Federal de Goiás - Regional Jataí; Orientador: Franciny Medeiros Barreto;
Monitoria de Estrutura de Dados; 2017; Orientação de outra natureza; (Ciências da Computação) - Universidade Federal de Goiás - Regional Jataí; Orientador: Franciny Medeiros Barreto;
Monitoria de Engenharia de Software; 2016; Orientação de outra natureza; (Ciências da Computação) - Universidade Federal de Goiás - Regional Jataí; Orientador: Franciny Medeiros Barreto;
Produções bibliográficas
-
SILVA, LIGIA GOUVEIA ; BARRETO, FRANCINY M. ; Freitas, Joslaine Cristina Jeske de . Análise de Usabilidade da Ferramenta BPMN Sketch Miner. Academic Journal on Computing, Engineering and Applied Mathematics , v. 4, p. 87-90, 2023.
-
BARRETO, FRANCINY M. ; JULIA, STÉPHANE . Formal Approach Based on Petri Nets for Modeling and Verification of Video Games. Computing and Informatics , v. 40, p. 216-248, 2021.
-
VINCIAQUI, ICARO RODRIGUES COSTA ; FRETIAS, JOSLAINE CRISTINA JESKE DE ; AMARAL, LAURENCE RODRIGUES DO ; Barreto, Franciny Medeiros . Uma solução computacional baseada em inteligência artifical como ferramenta de apoio para o processo de tomada de decisão em ambientes médicos. Brazilian Journal of Development , v. 6, p. 47832-47836, 2020.
-
SILVA, GUILHERME ALVES ; TEIXEIRA, FILIPE NASCIMENTO ; FILHO, GENILDO FERREIRA COSTA ; PEREIRA, VICTOR TURCATTO ; COSTA, WALTER ALVES ; Barreto, Franciny Medeiros . Sistema para controle de fluxo de passageiros via microcontrolador de baixo custo autenticado por QR-Code. Brazilian Journal of Development , v. 6, p. 47870-47875, 2020.
-
Nery, Jhonatan Thálisson Cabral ; Barreto, Franciny Medeiros ; Freitas, Joslaine Cristina Jeske de . MODELO DE SIMULAÇÃO PARA ESCALONAMENTO DE PROCESSOS NÃO PREEMPTIVOS. In: Ernane Rosa Martins. (Org.). Fundamentos da Ciência da Computação. 1ed.Ponta Grossa - PR: Antonella Carvalho de Oliveira, 2019, v. , p. 78-92.
-
NEDOPETALSKI, F. ; Silva, Estela Ferreira ; BARRETO, FRANCINY M. ; JULIA, S. . 3D Video Game Simulation Based on Colored Petri Net and SIMIO. In: International Conference on Information Technology-New Generations, 2024, Las Vegas. ITNG 2024: 21st International Conference on Information Technology-New Generations, 2024. v. 1456. p. 521-530.
-
NEDOPETALSKI, F. ; BARRETO, FRANCINY M. ; JESKE DE FREITAS, J. C. ; JULIA, S. . Simulation and Comparison of Different Scenarios of a Workflow Net Using Process Mining. In: International Conference on Information Technology-New Generations, 2023, Las Vegas. ITNG 2023 20th International Conference on Information Technology-New Generations, 2023. v. 1445. p. 209-215.
-
BARRETO, FRANCINY M. ; JULIA, STÉPHANE . A Possibilistic Simulation Model for Multiplayer Game Scenarios Using CPN Tools. In: SBES '20: 34th Brazilian Symposium on Software Engineering, 2020, Natal Brazil. Proceedings of the 34th Brazilian Symposium on Software Engineering, 2020. p. 114-119.
-
LOPES, M. M. ; JESKE DE FREITAS, J. C. ; BARRETO, F. M. ; FREITAS, M. S. ; SOUZA, Z. H. ; BISPO JUNIOR, E. L. . Observatório UFJ Covid-19: Uma plataforma de auxílio à tomada de decisão de gestores e cidadãos do sudoeste goiano. In: SEMINÁRIO REGIONAL DE EXTENSÃO UNIVERSITÁRIA DA REGIÃO CENTRO-OESTE-SEREX, 2020, Cuiabá - MT. SEMINÁRIO REGIONAL DE EXTENSÃO UNIVERSITÁRIA DA REGIÃO CENTRO-OESTE-SEREX, 2020.
-
FABBRI, AUGUSTO GARCIA ; Barreto, Franciny Medeiros ; JESKE DE FREITAS, JOSLAINE CRISTINA . Modeling and Simulating Enterprise Architecture Activities Using a Non Preemptive Multiprocessor System. In: 2019 Systems and Information Engineering Design Symposium (SIEDS), 2019, Charlottesville. 2019 Systems and Information Engineering Design Symposium (SIEDS), 2019. p. 1.
-
BARRETO, FRANCINY ; ANDRADE, RAFAEL ; BISPO JR., ESDRAS . Uso de Mineração de Dados para o Auxílio de Produção de Material Didático em Disciplinas de Algoritmos. In: XXVII Workshop sobre Educação em Computação, 2019. Anais do Workshop sobre Educação em Computação (WEI), 2019. p. 348-359.
-
NERY, J. T. C. ; BARRETO, F. M. ; JESKE DE FREITAS, J. C. . Construção de um Modelo de Simulação para Escalonamento de Processos não-preemptivos. In: XXXVIII Congresso Brasileiro da Sociedade Brasileira de Computação (CSBC), 2018, Natal - RN. Anais do 17º Workshop em Desempenho de Sistemas Computacionais e de Comunicação (WPerformance), 2018. p. 322-327.
-
BARRETO, FRANCINY M. ; JESKE DE FREITAS, J. C. ; JULIA, S. . A Timed Petri Net Model to Specify Scenarios of Video Games. Advances in Intelligent Systems and Computing. In: International Conference on Information Technology, 2018, Las Vegas. Information Technology - New Generations, 2018. v. 738. p. 467-473.
-
BARRETO, FRANCINY M. ; REZENDE, L. P. ; JULIA, S. . An Approach Based on Possibilistic WorkFlow Nets to Model Multiplayer Video Games. In: International Conference on Information Technology, 2018, Las Vegas. Information Technology - New Generations, 2018. v. 738. p. 509-515.
-
BARRETO, FRANCINY M. ; JULIA, STÉPHANE . Modeling of Video Games Using Workflow Nets and State Graphs. In: the 31st Brazilian Symposium, 2017, Fortaleza. Proceedings of the 31st Brazilian Symposium on Software Engineering - SBES'17. New York: ACM Press, 2017. p. 261-266.
-
BARRETO, F. M. ; JESKE DE FREITAS, J. C. ; SOARES, M. S. ; JULIA, S. . A Straightforward Introduction to Formal Methods Using Coloured Petri Nets. In: 16th International Conference on Enterprise Information Systems, 2014, Lisbon. Proceedings of the 16th International Conference on Enterprise Information Systems. v. 2. p. 145-152.
-
BARRETO, F. M. ; JULIA, S. . Modeling and analysis of video games based on WorkFlow nets and State Graphs. In: 24th Annual International Conference on Computer Science and Software Engineering, 2014, Markham, Ontario. CASCON '14 Proceedings of 24th Annual International Conference on Computer Science and Software Engineering. Riverton, NJ, USA: IBM Corp., 2014. p. 106-119.
-
BARRETO, F. M. ; JESKE DE FREITAS, J. C. . Análise da viabilidade do uso de neuromarketing na construção de websites de comércio eletrônico. In: XIX SIMPEP - Simpósio de Engenharia de Produção, 2012, Bauru. Anais do XIX SIMPEP, 2012.
-
SILVA, GUILHERME ALVES ; TEIXEIRA, FILIPE NASCIMENTO ; FILHO, GENILDO FERREIRA COSTA ; PEREIRA, VICTOR TURCATTO ; COSTA, WALTER ALVES ; BARRETO, F. M. . CATE - Controle de Acesso ao Transporte Estudantil. In: IV CONEPE - Congresso de Ensino, Pesquisa e Extensão da Universidade Federal de Jataí, 2019, Jataí. IV CONEPE, 2019.
-
VINCIAQUI, ICARO RODRIGUES COSTA ; JESKE DE FREITAS, J. C. ; AMARAL, L. R. ; BARRETO, F. M. . Uma Solução Computacional como Ferramenta de Apoio à Tomada de Decisão em Ambientes Médicos. In: IV CONEPE - Congresso de Ensino, Pesquisa e Extensão da Universidade Federal de Jataí, 2019, Jataí. IV CONEPE, 2019.
-
CHAVES, L. V. ; RODRIGUES, D. M. ; BARRETO, F. M. . Uma Proposta de Desenvolvimento e Validação de um Aplicativo para o Agendamento de Revisão Veiculares. In: XIII SECOMP, 2018, Jataí. III Simpósio de Pesquisa em Computação (SPC), 2018.
-
CHAVES, L. V. ; RODRIGUES, D. M. ; BARRETO, F. M. . Sistema para Cálculo de Horas Atividades. In: II CONEPE - CONGRESSO DE ENSINO PESQUISA E EXTENSÃO, 2017, Jataí. Anais do II CONEPE. Jataí - GO: Universidade Federal de Goiás - Regional Jataí, 2017.
-
de CARVALHO, I.S. ; BARRETO, F. M. . Modelagem formal de vídeo games. In: II CONEPE - CONGRESSO DE ENSINO PESQUISA E EXTENSÃO, 2017, Jataí. Anais do II CONEPE. Jataí - GO: Universidade Federal de Goiás - Regional Jataí, 2017.
-
SOUZA, D. O. ; BARRETO, F. M. ; JESKE DE FREITAS, J. C. . Modelagem e Verificação Formal de um Sistema de Reserva de Hotel. In: II Congresso de Ensino Pesquisa e Extensão, 2017, Jataí. II CONEPE, 2017.
-
BARRETO, F. M. ; BORGES, F. F. ; Inocêncio, A. C. G. . Análise da Usabilidade de Editor de Texto para Usuários da Terceira Idade. In: V SEREX - Seminário de Extensão Universitária da Região Centro-Oeste, 2012, Goiânia. V SEREX - Seminário de Extensão Universitária da Região Centro-Oeste, 2012.
-
BARRETO, F. M. ; JESKE DE FREITAS, J. C. . Estudo da viabilidade do uso de neuromarketing na construção de websites de comércio eletrônico. In: IX CONPEEX - Congresso de Pesquisa, Ensino e Extensão, 2012, Goiânia. IX CONPEEX, 2012.
-
SILVA, R. G. O. ; BEVILAQUA, A. ; BARRETO, F. M. ; NASCIMENTO, T. H. ; AMARAL, L. R. . Construção de Conhecimento de Alto Nível a Partir de Datasets Biológicos com Alta Dimensionalidade Utilizando Algoritmos Geneticos. In: IX Encontro Anual de Computação (ENACOMP), 2011, Catalão. IX Encontro Anual de Computação. Goiânia: Editora da UFG, 2011. v. 1. p. 8-14.
-
RODRIGUES, F. A. ; BEVILAQUA, A. ; BARRETO, F. M. ; SILVA, R. G. O. ; NASCIMENTO, T. H. ; AMARAL, L. R. . Mineração de Genes Ligados ao Câncer utilizando Ferramentas de Aprendizado de Máquina em Bases de Dados Biológicas. In: IX Encontro Anual de Computação, 2011, Catalão. IX Encontro Anual de Computação. Goiânia: Editora da UFG, 2011. v. 1. p. 15-22.
-
GUIMARAES, G. B. ; BARRETO, H. F. M. ; MARTINS, R. C. A. ; BARRETO, F. M. . Promovendo a saúde mental por meio de conexões entre tecnologia e subjetividade. In: VI CONEPE - Congresso de Ensino, Pesquisa e Extensão da Universidade Federal de Jataí, 2021, Jataí - GO. Anais do VI Congresso de Ensino, Pesquisa e Extensão. Jataí: UFJ, 2021.
-
VENTURA, A. S. ; SILVA, A. D. F. ; SILVA, L. F. ; BARRETO, F. M. ; MARTINS, R. C. A. ; BARRETO, H. F. M. ; GUIMARAES, G. B. . Projeto Reexitências - Oficinas para o autocuidado e promoção da saúde. In: VI CONEPE - Congresso de Ensino, Pesquisa e Extensão da Universidade Federal de Jataí, 2021, Jatai - GO. Anais do VI Congresso de Ensino, Pesquisa e Extensão. Jataí: UFJ, 2021.
-
BARRETO, F. M. ; JULIA, S. . A Possibilistic Simulation Model for Multiplayer Game Scenarios Using CPN Tools. 2020. (Apresentação de Trabalho/Congresso).
-
BARRETO, F. M. ; JULIA, S. . Redes de Petri para Modelagem, Análise e Simulação de Vídeo Games. 2018. (Apresentação de Trabalho/Outra).
-
BARRETO, F. M. ; JULIA, S. . Modeling of Video Games Using Workflow Nets and State Graphs. 2017. (Apresentação de Trabalho/Simpósio).
-
BARRETO, F. M. ; JULIA, S. . Modeling and analysis of video games based on WorkFlow nets and State Graphs. 2014. (Apresentação de Trabalho/Conferência ou palestra).
-
BARRETO, F. M. . Análise da usabilidade de editor de texto para usuário da terceira idade. 2012. (Apresentação de Trabalho/Seminário).
-
BARRETO, F. M. ; JESKE DE FREITAS, J. C. . Análise da viabilidade do uso de neuromarketing na construção de websites de comércio eletrônico. 2012. (Apresentação de Trabalho/Simpósio).
-
BARRETO, F. M. ; JESKE DE FREITAS, J. C. . Estudo da viabilidade do uso de neuromarketing na construção de websites de comércio eletrônico. 2012. (Apresentação de Trabalho/Seminário).
Projetos de pesquisa
-
2022 - Atual
Estudos de Métodos Formais em Engenharia de Software, Descrição: Este projeto tem como objetivo promover o estudo dos métodos formais para o desenvolvimento de metodologias de modelagem e análise para sistemas a eventos discretos, no âmbito da Engenharia de Software.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Franciny Medeiros Barreto - Coordenador / Joslaine Cristina Jeske de Freitas - Integrante.
-
2017 - 2022
Modelagem e Simulação de Workflow net com Gerenciamento de Recursos usando Redes de Petri Híbridas Fuzzy, Descrição: O principal objetivo desta pesquisa é propor um novo modelo de processo de negócios para uma gestão eficiente (e realista) dos recursos e do tempo em Workflow nets. Esta pesquisa teve como ponto de partida a validação do modelo de alocação de recursos fuzzy apresentado em em [Jeske et al. 2006]. Em particular, um mecanismo de inferência especializado do tipo token player adaptado a um modelo de alocação de recurso híbrido fuzzy foi implementado na ferramenta de modelagem, análise e simulação de redes de Petri coloridas chamada CPN Tools. Tais simulações mostraram que o novo modelo em relação a um mecanismo simples de alocação de recurso com uma política de disparo mais cedo (FIFO) permite uma melhoria da proporção de casos que respeitam os prazos estabelecidos. Para resolver o problema do escalonamento em Sistemas de Gerenciamento de Workflow deverão ser consideradas características importantes inerentes a estes sistemas. Em particular, quando muitos casos são executados simultaneamente, situações de conflito por recursos compartilhados podem ocorrer e devem ser resolvidas em tempo real (sem um mecanismo de retrocesso). Também, deverão ser consideradas restrições temporais relativas aos prazos de entrega de casos específicos. Com o objetivo de tornar o comportamento do novo modelo o mais próximo e consistente com o comportamento de funcionários humanos envolvidos na execução de atividades de processos de negócios, a noção de possibilidade conjunta que envolve o caráter incerto e nebuloso foi inserida no modelo. . Novas regras de disparo de transições foram então definidas baseadas no conceito apresentado. Jogadores de rede de Petri do tipo token player baseados no novo modelo apresentado foram definidos, implementados, simulados e validados na ferramenta CPN Tools. Com o uso da ferramenta CPN Tools será possível avaliar o comportamento do sistema em funcionamento esperado ou em situação mais crítica. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Franciny Medeiros Barreto - Integrante / Joslaine Cristina Jeske de Freitas - Coordenador.
-
2017 - 2021
Redes de Petri para Modelagem, Análise e Simulação de Vídeo Games, Descrição: A ludologia (o estudo dos jogos em geral, particularmente dos video games) aponta a necessidade de criar modelos para especificar os mecanismos dos jogos, pois a falta deste conhecimento tem sido um dos grandes problemas do tradicional projeto de jogos. Um dos maiores problemas do desenvolvimento de jogos é a utilização de metodologias pobres, fazendo com que projetos não sejam finalizados no tempo estimado e com custos elevados. Isto ocorre devido ao gerenciamento errôneo das atividades na fase de pré-produção do jogo prototipagem, engenharia de requisitos, estimativas, etc.). Portanto, é necessário encontrar novos conceitos e ferramentas para suprir os desafios do desenvolvimento de jogos. Neste sentindo, a Engenharia de Software se torna indispensável para ajudar a suprir os desafios de desenvolvimento de jogos, melhorando a gerência dos projetos, diminuindo os riscos e garantindo o sucesso futuro da indústria de jogos. A modelagem baseada em redes de Petri pode ser especialmente importante para simular jogos com vários jogadores. Com a presente pesquisa, pretende-se criar uma representação formal de cenários de video games que aborde os aspectos presentes na maioria dos jogos atuais. Objetiva-se também a criação de um método para a verificação e análise de cenários de jogos ainda em fase de projeto. O propósito é identificar problemas antes do jogo ser de fato desenvolvido. Além disso, será possível validar o bom funcionamento do jogo em termos de jogabilidade. Para tanto, será considerado nessa pesquisa a teoria das redes de Petri. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Franciny Medeiros Barreto - Coordenador / Joslaine Cristina Jeske de Freitas - Integrante.
-
2015 - 2017
Modelagem, análise e monitoramento de processos de negócio flexíveis utilizando as workflow nets e lógicas não clássicas, Projeto certificado pelo(a) coordenador(a) Stéphane Julia em 25/04/2016., Descrição: A área de gerenciamento de processos de negócios , do inglês Business Process Management (BPM), tem recebido atenção considerável nos últimos anos em razão de seu potencial em aumentar significativamente a produtividade e economizar gastos nas organizações. Além disso. o conceito de processo serve como ponto de partida para o entendimento de como o negócio opera e quais oportunidades existem para coordenar suas atividades constituintes. Considerando tais questões, uma abordagem para modelagem, analise e monitoramento de processos de negócios será proposta. O modelo utilizado será baseado nas Workflow nets que são redes de Petri usadas para representar processos de negócios. Inicialmente, árvores de prova da lógica linear serão consideradas para analisar processos que devem verificar os principais critérios de corretude, em particular a propriedade chamada Sound. Uma análise quantitativa baseada no cálculo de datas simbólicas para a atribuição de atividades especificas aos atores do processo poderá ser realizada a partir das provas obtidas na verificação da propriedade Sound. A segunda parte do projeto está relacionada com o estudo de processos de negócios flexíveis embutidos em estruturas organizacionais já existentes onde os critérios de corretude não podem ser sistematicamente garantidos. Neste caso, através da reconstituição e reconfiguração dos processos, técnicas de detecção de estados perigosos serão apresentadas. Também, modelos de monitoramento baseados em redes de Petri com marcação fuzzy serão utilizados para considerar problemas de desvios que acontecem quando os atores envolvidos não respeitam as sequencias de atividades previstas nos modelos do processo. Estudos de casos na área dos sistemas de informação e dos jogos eletrônicos validarão a abordagem proposta.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Doutorado: (4) . , Integrantes: Franciny Medeiros Barreto - Integrante / Joslaine Cristina Jeske de Freitas - Integrante / Stéphane Julia - Coordenador / Lígia Maria Soares Passos - Integrante / Leiliane Pereira de Rezende - Integrante / Luciane de Fátima Silva - Integrante / Janette Cardoso - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de Minas Gerais - Auxílio financeiro.
Histórico profissional
Endereço profissional
-
Universidade Federal de Jataí, Ciências da Computação. , Rodovia BR-364, Setor Francisco Antônio, 75801615 - Jataí, GO - Brasil, Telefone: (64) 36068295
Experiência profissional
2016 - Atual
Universidade Federal de JataíVínculo: Servidor Público, Enquadramento Funcional: Professor efetivo, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações:
Universidade Federal de Goiás - Regional Jataí foi emancipada em 2018 se tornando a Universidade Federal de Jataí (UFJ)
Atividades
-
03/2024 - 07/2024
Ensino, Ciências da Computação, Nível: Graduação,Disciplinas ministradas, Estrutura de Dados I - 64h, Lógica para Ciência da Computação - 64h
-
04/2023 - 03/2024
Direção e administração, Serviço de Informação ao Cidadão - SIC/UFJ.,Cargo ou função, Gestora do SIC.
-
10/2023 - 02/2024
Ensino, Ciências da Computação, Nível: Graduação,Disciplinas ministradas, Estrutura de Dados 2 - 64h, Linguagens Formais e Autômatos - 64h
-
05/2023 - 01/2024
Direção e administração, Secretaria de Comunicação - UFJ.,Cargo ou função, Secretária de Comunicação.
-
06/2023 - 10/2023
Ensino, Ciências da Computação, Nível: Graduação,Disciplinas ministradas, Estrutura de Dados 1 - 64h, Projeto de Software - 64h
-
01/2023 - 05/2023
Ensino, Ciências da Computação, Nível: Graduação,Disciplinas ministradas, Estrutura de Dados 2 - 64h, Linguagens Formais e Autômatos - 64h
-
10/2022 - 03/2023
Direção e administração, PROGRAD - UFJ.,Cargo ou função, Coordenadora Geral de Monitoria.
-
11/2021 - 03/2023
Direção e administração, PROGRAD - UFJ.,Cargo ou função, Coordenação de Mobilidade Acadêmica Estudantil.
-
08/2022 - 12/2022
Ensino, Ciências da Computação, Nível: Graduação,Disciplinas ministradas, Estrutura de Dados 1 - 64h, Projeto de Software - 64h
-
03/2022 - 07/2022
Ensino, Ciências da Computação, Nível: Graduação,Disciplinas ministradas, Estrutura de Dados 2 - 64 hrs, Linguagens Formais e Autômatos - 64 hrs
-
10/2021 - 02/2022
Ensino, Ciências da Computação, Nível: Graduação,Disciplinas ministradas, Estrutura de Dados 1 - 64 hrs, Projeto de Software - 64 hrs
-
05/2018 - 12/2021
Direção e administração, Ciências da Computação.,Cargo ou função, Coordenação de Estágio do curso de Ciências da Computação.
-
05/2021 - 09/2021
Ensino, Ciências da Computação, Nível: Graduação,Disciplinas ministradas, Estrutura de Dados 2 - 64 hrs, Estágio Supervisionado - 32 hrs, Linguagens Formais e Autômatos - 64 hrs
-
03/2020 - 04/2021
Ensino, Ciências da Computação, Nível: Graduação,Disciplinas ministradas, Estrutura de Dados 1 - 64 hrs, Projeto de Software - 64 hrs
-
02/2018 - 04/2021
Direção e administração, Diretoria da Regional Jataí/UFG.,Cargo ou função, Membro Titular da Comissão Permanente de Auto-Declaração - Portaria nº 1080.
-
01/2020 - 02/2020
Ensino, Ciências da Computação, Nível: Graduação,Disciplinas ministradas, Banco de Dados 1 - 64 hrs
-
08/2019 - 12/2019
Ensino, Ciências da Computação, Nível: Graduação,Disciplinas ministradas, Estrutura de Dados 2 - 64 hrs, Estágio Supervisionado - 32 hrs
-
03/2019 - 07/2019
Ensino, Ciências da Computação, Nível: Graduação,Disciplinas ministradas, Estrutura de Dados 1 - 64 hrs, Projeto de Software - 64 hrs
-
08/2018 - 12/2018
Ensino, Ciências da Computação, Nível: Graduação,Disciplinas ministradas, Estrutura de Dados 2 - 64 hrs, Estágio Supervisionado - 32 hrs
-
03/2018 - 12/2018
Direção e administração, Ciências da Computação.,Cargo ou função, Membro do Núcleo Docente Estruturante (NDE) do curso de Ciências da Computação.
-
03/2018 - 07/2018
Ensino, Engenharia Florestal, Nível: Graduação,Disciplinas ministradas, Introdução a Informática- 64 hrs
-
03/2018 - 07/2018
Ensino, Ciências da Computação, Nível: Graduação,Disciplinas ministradas, Estrutura de Dados 1 - 64 hrs, Projeto de Software - 64 hrs
-
10/2017 - 03/2018
Ensino, Ciências da Computação, Nível: Graduação,Disciplinas ministradas, Banco de Dados 1 - 64 hrs, Estrutura de Dados 2 - 64 hrs, Modelagem de Software - 64 hrs
-
04/2017 - 09/2017
Ensino, Ciências da Computação, Nível: Graduação,Disciplinas ministradas, Estrutura de Dados 1 - 64 hrs, Projeto de Software - 64 hrs
-
02/2017 - 04/2017
Conselhos, Comissões e Consultoria, Diretoria da Regional Jataí/UFG.,Cargo ou função, Membro da Comissão de Renda do SISU/2017/REJ/UFG - Portaria nº 008/2017.
-
09/2016 - 03/2017
Ensino, Ciências da Computação, Nível: Graduação,Disciplinas ministradas, Engenharia de Software - 64hrs, Empreendedorismo - 64 hrs
2015 - 2016
Universidade Federal de UberlândiaVínculo: , Enquadramento Funcional: Professor substituto, Carga horária: 40
Atividades
-
05/2016 - 07/2016
Ensino, Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Banco de Dados II - 30 hrs.
-
02/2016 - 07/2016
Ensino, Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Banco de Dados II, Programação Orientada a Objetos I
-
02/2016 - 07/2016
Ensino, Engenharia de Agrimensura e Cartográfica, Nível: Graduação,Disciplinas ministradas, Banco de Dados I
-
08/2015 - 12/2015
Ensino, Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Programação Orientada a Objetos I
-
08/2015 - 12/2015
Ensino, Engenharia de Agrimensura e Cartográfica, Nível: Graduação,Disciplinas ministradas, Banco de Dados I
-
05/2015 - 07/2015
Ensino, Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Interação Humano Computador, Programação Orientada a Objetos 1, Programação para Dispositivos Móveis
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Franciny Medeiros Barreto e sempre que o nome aparecer em publicações dos Diários Oficiais, avisaremos por e-mail e pelo painel do usuário
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todas as movimentações desse processo e sempre que o processo aparecer em publicações dos Diários Oficiais e nos Tribunais, avisaremos por e-mail e pelo painel do usuário
Confirma a exclusão?