Cássio Leonardo Rodrigues

Idiomas

Áreas de atuação

Organização de eventos

Participação em bancas

Orientou

Produções bibliográficas

• DE OLIVEIRA, LÍVIA FERNANDA ; RODRIGUES, CÁSSIO LEONARDO ; SILVA, KARINA ROCHA GOMES DA . A software acceptance testing approach with accessibility for the deaf. UNIVERSAL ACCESS IN THE INFORMATION SOCIETY (INTERNET) , v. 1, p. 1, 2024.

• DE OLIVEIRA, LIVIA FERNANDA ; RODRIGUES, CASSIO LEONARDO ; BULCAO-NETO, RENATO DE FREITAS . Characterizing the Software Acceptance Testing and the Inclusion of People with Disabilities by Means of a Systematic Mapping. IEEE Latin America Transactions , v. 21, p. 35-46, 2023.

• DUARTE, SORAYA B. R. ; CHAVEIRO, NEUMA ; DE FREITAS, ADRIANA R. ; BARBOSA, MARIA ALVES ; CAMEY, SUZI ; FLECK, MARCELO P. ; PORTO, CELMO C. ; RODRIGUES, CÁSSIO L. ; RODRÍGUEZ-MARTÍN, DOLORS . Validation of the WHOQOL-Bref instrument in Brazilian sign language (Libras). QUALITY OF LIFE RESEARCH , v. 1, p. 1, 2020.

• FRANCO, RICARDO ; DA SILVA, KARINA ; RODRIGUES, CÁSSIO . Genetic Algorithm applied to the Functional Verification in Digital Systems. JICS. JOURNAL OF INTEGRATED CIRCUITS AND SYSTEMS (ED. PORTUGUÊS) , v. 13, p. 1-9, 2018.

• MONCAO, ANA CLAUDIA B. LOUREIRO ; CAMILO-JR, CELSO G. ; QUEIROZ, LEONARDO T. ; VINCENZI, AURI M.R. ; RODRIGUES, C. L. ; LEITÃO-JR, PLÍNIO DE SÁ ; ARAUJO, A. A. ; BASILIO NETO, A. D. ; SOUZA, J. T. . An Evolutionary Approach to Test SELECT SQL Statements using Mutation Analysis. IEEE Latin America Transactions , v. 15, p. 1128-1136, 2017.

• RODRIGUES, C. L. ; SILVA, K. R. G. ; CUNHA, H. N. ; FIGUEIREDO, Jorge C A de ; GUERRERO, Dalton D S ; MELCHER, E. ; elmar melcher . Enhancing IP cores specifications using hierarchical composition and set theory. Design Automation for Embedded Systems , v. 1, p. 1-21, 2011.

• MACHADO, P. D. L. ; OLIVEIRA, E. A. S. ; Paulo E. B. Silva ; RODRIGUES, C. L. . Testing from Structured Algebraic Specifications: The Veritas Case Study. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE , v. 130, p. 235-261, 2005.

• BATISTA, PRISCILLA ELIZABETH PEREIRA ; RODRIGUES, CASSIO LEONARDO ; NETO, VALDEMAR VICENTE GRACIANO ; KASSAB, MOHAMAD . ARC-SoISE: Towards a Reference Architecture for Constituents of Educational Systems-of-Information Systems. In: 2022 17th Annual System of Systems Engineering Conference (SOSE), 2022, Rochester. 2022 17th Annual System of Systems Engineering Conference (SOSE). EUA: IEEE, 2022. p. 142.

• SILVA, A. C. F. ; RODRIGUES, C. L. ; CHAVEIRO, N. ; GARCIA, R. R. O. ; DUARTE, S. B. R. ; ARAUJO, M. A. R. ; SANTOS, V. B. ; SILVA, K. R. G. ; RODRIGUES, P. M. S. ; OLIVEIRA, L. M. ; SOUSA, C. C. S. . Lessons Learned about Oral-auditory and Visual-spatial Communication in Requirements Engineering with Deaf Stakeholders. In: The 35th ACM/SIGAPP Symposium On Applied Computing, 2020, Brno - Czech Republic. Proceedings of the 35th ACM/SIGAPP Symposium On Applied Computing, 2020. v. 1. p. 1379-1386.

• SOUSA, C. C. S. ; OLIVEIRA, L. M. ; RODRIGUES, CASSIO L. ; BULCAO-NETO, R. F. ; FERREIRA, D. J. . Web Accessibility Testing for Deaf: Requirements and Approaches for Automation. In: IEEE International Conference on Systems, Man, and Cybernetics, 2020, Toronto, Ontario, Canada. proceedings of the 2020 IEEE International Conference on Systems, Man, and Cybernetics, 2020. v. 1. p. 1-1.

• TOLEDO, L. I. ; RODRIGUES, CASSIO L. ; CAMILO JUNIOR, C. G. . MutShrink: a Mutation-based Test Database Shrinking Method. In: IEEE International Conference on Systems, Man, and Cybernetics, 2020, Toronto, Ontario, Canada. proceedings of the 2020 IEEE International Conference on Systems, Man, and Cybernetics, 2020. v. 1. p. 1.

• SOUSA, C. C. S. ; FERREIRA, D. J. ; RODRIGUES, C. L. . Technologies For Educating Deaf Children- A Systematic Literature Review. In: Simpósio Brasileiro de Informática na Educação (SBIE), 2019, Brasília. Anais do Simpósio Brasileiro de Informática na Educação (SBIE), 2019.

• SOUSA, L. S. ; RODRIGUES, C. L. ; VIEIRA, I. R. ; VINCENZI, A. M. R. ; MENDONCA, V. R. L. ; DELAMARO, M. E. . Reducing the Cost of Mutation Testing using the Semantic Size of Mutant. In: 2018 IEEE International Conference on Systems, Man, and Cybernetics, 2018, Miyazaki. Proc. of the 2018 IEEE International Conference on Systems, Man, and Cybernetics. EUA: IEEE, 2018. v. 1. p. 1-7.

• CHAVEIRO, N. ; RODRIGUES, C. L. ; DUARTE, S. B. R. ; GARCIA, R. R. O. ; SILVA, K. R. G. ; OLIVEIRA, L. R. . A Tool to Evaluate the Quality of Life of Deaf People using WHOQOL Instruments. In: 2018 IEEE International Conference on Systems, Man, and Cybernetics, 2018, Miyazaki. Proc. of the 2018 IEEE International Conference on Systems, Man, and Cybernetics. EUA: IEEE, 2018. v. 1. p. 1-6.

• MACHADO, B. N. ; CAMILO-JR, CELSO G. ; QUIJANO, E. H. D. ; RODRIGUES, C. L. . SBSTFrame: a Framework to Search-Based Software Testing. In: 2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC), 2016, Budapeste. Proceedings of 2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC). Nova York: IEEE, 2016. v. 1. p. 1-6.

• SILVA, A. C. F. ; BARBOSA, W. A. ; RODRIGUES, C. L. ; FERREIRA, D. J. . Technologies forteaching DHI students using Libras: a systematic review. In: V Congresso Brasileiro de Informática na Educação (CBIE 2016), 2016, Uberlândia. Anais do XXVII Simpósio Brasileiro de Informática na Educação (SBIE 2016). Uberlândia: SBIE 2016, 2016. v. 1. p. 747-756.

• ARAUJO, A. F. ; RODRIGUES, C. L. ; VINCENZI, A. M. R. ; CAMILO-JR, CELSO G. . Maturity Level Assessment in Software Testing in Small and Medium-Sized Enterprises of the State of Goiás. In: XI Simpósio Brasileiro de Sistemas de Informação, 2015, Goiânia. Anais do XI Simpósio Brasileiro de Sistemas de Informação, 2015. p. 1-7.

• R. NETO, E. A. ; OLIVEIRA, A. A. L. ; LEITAO-JUNIOR, P. S. ; CAMILO JUNIOR, C. G. ; RODRIGUES, C. L. ; VINCENZI, A. M. R. . AVALIAÇÃO DE TÉCNICAS PARA REDUÇÃO DE BASE DE DADOS DE PRODUÇÃO. In: Encontro Anual de Tecnologia da Informação, 2014, Frederico Westphalen - RS. Anais do V EATI, 2014. p. 152-159.

• MACHADO, B. N. ; OLIVEIRA, A. A. L. ; MARTINS, B. P. ; CAMILO JUNIOR, C. G. ; RODRIGUES, C. L. ; LEITAO-JUNIOR, P. S. ; VINCENZI, A. M. R. . SBSTFRAME: UMA PROPOSTA DE FRAMEWORK PARA O TESTE DE SOFTWARE BASEADO EM BUSCA. In: Workshop de Engenharia de Software Baseada em Busca (WESB), 2014, Maceió. Anais do V Workshop de Engenharia de Software Baseada em Busca (WESB'2014), 2014. p. 61-70.

• LUIZ, A. M. ; OLIVEIRA, A. A. L. ; CAMILO JUNIOR, C. G. ; RODRIGUES, C. L. ; VINCENZI, A. M. R. . USO DE ALGORITMO GENÉTICO DISTRIBUÍDO NA SELEÇÃO DE CASOS DE TESTE PARA O TESTE DE MUTAÇÃO. In: Workshop de Engenharia de Software Baseada em Busca (WESB), 2014, Maceió. Anais do V Workshop de Engenharia de Software Baseada em Busca (WESB'2014), 2014. p. 81-91.

• FRANCO, R. A. P. ; BRITO, A. F. ; SILVA, K. R. G. ; RODRIGUES, C. L. . GETTING A BETTER STIMULI GENERATION BY MEANS OF GENETIC ALGORITHM. In: 11th International Conference Applied Computing 2014 (AC 2014), 2014, Porto. 11th International Conference Applied Computing 2014 (AC 2014), 2014.

• MONCAO, ANA CLAUDIA B. LOUREIRO ; CAMILO, CELSO G. ; QUEIROZ, LEONARDO T. ; RODRIGUES, CASSIO L. ; DE SA LEITAO, PLINIO ; VINCENZIK, AURI M.R. . Shrinking a database to perform SQL mutation tests using an evolutionary algorithm. In: 2013 IEEE Congress on Evolutionary Computation (CEC), 2013, Cancun. 2013 IEEE Congress on Evolutionary Computation, 2013. p. 2533-2539.

• ARAUJO, A. F. ; RODRIGUES, C. L. ; CAMILO JUNIOR, C. G. ; VINCENZI, A. M. R. ; SILVA, A. F. . A Framework for Maturity Assessment in Software Testing for Small and Medium-Sized Enterprises. In: The 11th International Conference on Software Engineering Research and Practice, 2013, Las Vegas. Proc. of the 11th International Conference on Software Engineering Research and Practice, 2013.

• MENDONCA, V. R. L. ; SOARES, F. A. A. M. N. ; RODRIGUES, C. L. ; VINCENZI, A. M. R. . Static Analysis Techniques and Tools: A Systematic Mapping Study. In: ICSEA 2013 : The Eighth International Conference on Software Engineering Advances, 2013, Veneza. Proc. of the Eighth International Conference on Software Engineering Advances, 2013. p. 1-7.

• VIEIRA, I. R. ; SOUSA, L. S. ; MENDONCA, V. R. L. ; RODRIGUES, C. L. ; VINCENZI, A. M. R. . Dívida Técnica: um estudo de caso com produtos de código aberto. In: SBQS 2013 - XII SIMPÓSIO BRASILEIRO DE QUALIDADE DE SOFTWARE, 2013, Salvador. Anais do XII SIMPÓSIO BRASILEIRO DE QUALIDADE DE SOFTWARE, 2013. p. 1-8.

• VINCENZI, A. M. R. ; VIEIRA, I. R. ; SOUSA, L. S. ; MENDONCA, V. R. L. ; RODRIGUES, C. L. . Evolução de software livre baseada em métricas de qualidade: Um estudo de caso. In: IX Simpósio Brasileiro de Sistemas de Informação, 2013, João Pessoa. Anais do IX Simpósio Brasileiro de Sistemas de Informação, 2013. p. 1-7.

• LOUZADA, J. ; CAMILO JUNIOR, C. G. ; VINCENZI, A. M. R. ; RODRIGUES, C. L. . An Elitist Evolutionary Algorithm for Automatically Generating Test Data. In: IEEE Congress on Evolutionary Computation (IEEE CEC 2012, 2012, Brisbane. Proceedings of IEEE Congress on Evolutionary Computation (IEEE CEC 2012, 2012. v. 1. p. 1-5.

• BARROS, M. P. ; MARTINS, A. M. ; SILVA, K. R. G. ; RODRIGUES, C. L. ; SANTANA, A. C. . Graphical Environment tool for testbench conception. In: SForum, 2012, Brasília. XII Microelectronics Students Forum - (SBCCI SForum 2012), 2012. v. 1. p. 6-10.

• RODRIGUES, C. L. ; SILVA, K. R. G. ; GUERRERO, Dalton D S ; FIGUEIREDO, Jorge C A de ; MELCHER, E. . Refactoring VeriSC Testbenches to Improve the Functional Verification during the Integration Phase. In: 37th Annual Conference of the IEEE Industrial Electronics Society, 2011, Melbourne. Proceedings of 37th Annual Conference of the IEEE Industrial Electronics Society, 2011. v. 1. p. 1-6.

• SANTANA, A. C. ; SILVA, K. R. G. ; CASTRO, M. S. ; DEUS, G. A. ; RODRIGUES, C. L. . DIAGNÓSTICO DO DESEMPENHO DISCENTE EM UM CURSO DE ENGENHARIA. In: XXXIX Congresso Brasileiro de Educação em Engenharia - COBENGE 2011, 2011, Blumenau. XXXIX Congresso Brasileiro de Educação em Engenharia - COBENGE 2011, 2011.

• SILVA, K. R. G. ; RODRIGUES, C. L. . BIBLIOTECA DE COBERTURA FUNCIONAL PARA SYSTEMC APLICADA NA VERIFICAÇÃO DE UM DECODIFICADOR DE VÍDEO MPEG4. In: VIII Conferência de Estudos em Engenharia Elétrica, 2010, Uberlândia. VIII Conferência de Estudos em Engenharia Elétrica, 2010.

• RODRIGUES, C. L. ; SILVA, K. R. G. ; CUNHA, H. N. ; FIGUEIREDO, Jorge C A de ; GUERRERO, Dalton D S ; MELCHER, E. . Improving functional verification of embedded systems using hierarchical composition and set theory. In: 2009 ACM Symposium on Applied Computing (SAC). SESSION: Embedded systems track, 2009, Honolulu, Hawaii. Proceedings of the 2009 ACM symposium on Applied Computing. New York: ACM, 2009. v. 1. p. 1632-1636.

• RODRIGUES, C. L. ; MORAIS, F. J. ; SILVA, L. M. ; SILVA, K. R. G. ; FIGUEIREDO, Jorge C A de ; GUERRERO, Dalton D S ; MELCHER, E. . Functional Verification Methodology using Hierarchical Coloured Petri Nets-based Testbenches. In: 2008 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2008), 2008, Cingapura. 2008 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2008), 2008.

• Paulo E. B. Silva ; RODRIGUES, C. L. ; FIGUEIREDO, Jorge C A de ; GUERRERO, Dalton D S . Distributed Verification of Occurrence Graphs: Investigating the Use of Computational Grids. In: 33rd Annual Conference of the IEEE Industrial Electronics Society (IECON'07), 2007, Taipei, Taiwan. 33rd Annual Conference of the IEEE Industrial Electronics Society (IECON'07), 2007.

• RODRIGUES, C. L. ; Paulo E. B. Silva ; Jairson M. Cabral ; FIGUEIREDO, Jorge C A de ; GUERRERO, Dalton D S . A Bag-of-tasks Approach for State Space Exploration Using Computational Grids. In: IEEE Software Engineer and Formal Methods, 2006, Pune. IEEE Software Engineer and Formal Methods.

• RODRIGUES, C. L. ; FIGUEIREDO, Jorge C A de ; GUERRERO, Dalton D S . Model Checking In Object Oriented Petri Nets. In: IEEE International Conference on Systems, Man and Cybernetics, 2004, Hague. Proceedings of IEEE International Conference on Systems, Man and Cybernetics, 2004. v. 3. p. 1015-1021.

• RODRIGUES, C. L. ; Paulo E. B. Silva ; GUERRERO, Dalton D S ; FIGUEIREDO, Jorge C A de . RPOO Model Checker. In: Simpósio Brasileiro de Engenharia de Software - Sessão de Ferramentas, 2004, Brasília. Anais do Simpósio Brasileiro de Engenharia de Software - Sessão de Ferramentas. Brasília, 2004. v. 1.

• RODRIGUES, C. L. ; GUERRERO, Dalton D S ; GUERRA, F. V. ; FIGUEIREDO, Jorge C A de ; MORAIS, T. S. . Modeling and Verification of Mobility Issues using Object-oriented Petri Nets. In: 3rd International Information and Telecommunication Technologies Symposium, 2004, São Carlos - SP. Proc. of 3rd International Information and Telecommunication Technologies Symposium, 2004. v. 1. p. 103-111.

• MACHADO, P. D. L. ; OLIVEIRA, E. A. S. ; Paulo E. B. Silva ; RODRIGUES, C. L. . Algebraic Specification-Based Testing: The Veritas Case Study. In: Brazilian Symposium on Formal Methods, 2004, Recife-PE. Proc. of Brazilian Symposium on Formal Methods, 2004. v. 1. p. 87-103.

• RODRIGUES, C. L. ; FIGUEIREDO, Jorge C A de ; GUERRERO, Dalton D S . Verificação de Modelos em Redes de Petri Orientadas a Objetos. In: VIII Workshop deTeses e Dissertações em Engenharia de Software, 2003, Manaus. VIII Workshop deTeses e Dissertações em Engenharia de Software, 2003. p. 41-46.

• MONÇÃO, ANA C.L. ; CAMILO-JR, CELSO G. ; QUEIROZ, LEONARDO T. ; RODRIGUES, CASSIO L. ; LEITÃO-JR, PLÍNIO DE SÁ ; VINCENZI, AURI M.R. . Applying genetic algorithms to data selection for SQL mutation analysis. In: Proceeding of the fifteenth annual conference companion, 2013, Amsterdam. Proceeding of the fifteenth annual conference companion on Genetic and evolutionary computation conference companion - GECCO '13 Companion. New York: ACM Press, 2013. p. 207-208.

• SILVA, K. R. G. ; elmar melcher ; RODRIGUES, C. L. . Uma Medologia para Suporte ao Ensino de Projeto de Circuitos Integrados Apoiada em Ferramentas de Código Aberto. In: Simpósio Brasileiro de Informática na Educação (SBIE 10), 2010, João Pessoa - PB. Simpósio Brasileiro de Informática na Educação (SBIE 10), 2010.

• MORALES, A. S. ; GURJAO, E. C. ; LIMA, E. A. ; COSTA, F. M. ; NASCIMENTO, H. A. D. ; BARBOSA, J. R. ; CARDOSO, K. V. ; CORREA, S. L. ; COSTA, R. M. ; CARVALHO, S. T. ; RODRIGUES, CÁSSIO L. . Web 3.0 e Aplicações Descentralizadas: Visão Geral, Aspectos de Segurança Cibernética e Ensaio de uma Solução DAO. In: Simpósio Brasileiro de Telecomunicações e Processamento de Sinais, 2023, São José dos Campos - SP. Anais do Simpósio Brasileiro de Telecomunicações e Processamento de Sinais, 2023.

• CAMILO-JR, CELSO G. ; VINCENZI, A. M. R. ; RODRIGUES, CASSIO L. . Pesquisas em andamento no Instituto de Informática da UFG na área de Search-based Software Engineering. In: VII WORKSHOP DE ENGENHARIA DE SOFTWARE BASEADA EM BUSCA (WESB 2016), 2016, Maringá -PR. ANAIS DO VII WORKSHOP DE ENGENHARIA DE SOFTWARE BASEADA EM BUSCA (WESB 2016), 2016. v. 1. p. 1-1.

• RODRIGUES, C. L. . A Tool to Evaluate the Quality of Life of Deaf People using WHOQOL Instruments. 2018. (Apresentação de Trabalho/Conferência ou palestra).

• RODRIGUES, C. L. . Reducing the Cost of Mutation Testing using the Semantic Size of Mutant. 2018. (Apresentação de Trabalho/Conferência ou palestra).

• RODRIGUES, C. L. . SBSTFrame: a Framework to Search-Based Software Testing. 2016. (Apresentação de Trabalho/Conferência ou palestra).

Outras produções

Projetos de pesquisa

• 2022 - Atual

  Avaliação de Impacto da Web 3.0: Descentralizada, Imersiva, Semântica, Centrada no Usuário e Conectada com o Mundo Físico, Descrição: Descrição: Projeto de pesquisa e desenvolvimento tecnológico, tendo como objeto de interesse a avaliação de impacto e análise de valor agregado com a introdução da nova geração da web, descentralizada, imersiva, semântica, centrada no usuário e conectada com o mundo ciberfísico, fenômeno este que tem se tornado conhecido sob a designação geral de Web 3.0. Os estudos abrangem os aspectos conceituais, estruturais e de aplicação da Web 3.0, de modo a propiciar a elucidação e a proposição de referenciais para futuras análises sobre o impacto social, impacto no mercado e adequação do modelo regulatório com a implementação da Web descentralizada e imersiva no Ecossistema de Telecomunicações Brasileiro, realizados pela Universidade Federal de Goiás (UFG), com eventuais recursos oriundos de agências de fomento e de regulação, diretamente ou via fundação de apoio credenciada pela UFG. O objetivo geral consiste em identificar os fatores habilitadores e os referenciais tecnológicos sobre o arcabouço que define a Web 3.0 por meio da observação dos princípios básicos e prova de conceito tecnológica, com vistas à descrição dos elementos constituintes, das competências essenciais e da capacidade de realização requeridas no âmbito nacional. Para tanto, os esforços da pesquisa estão voltados ao levantamento dos conceitos e dos blocos de construção que definem a Web 3.0, ao mapeamento dos principais casos de sucesso internacionais e aos referenciais de impacto na sociedade e no setor produtivo, e ao levantamento de necessidade de avaliar a adequação do modelo regulatório da área de Telecomunicações quanto a essa nova onda tecnológica e às tecnologias imersivas em ambientes virtuais a ela relacionadas. Resultados Esperados Propiciar o desenvolvimento do estado da arte sobre políticas e normas regulatórias do setor de telecomunicações brasileiro, fornecendo condições teóricas e casos de uso para possíveis discussões, análise e recomendações para eventual redefinição do arcabouço regulamentar do setor de Telecomunicações. Ao final do projeto, as entidades envolvidas contarão com o arcabouço teórico e provas conceitos que permitirão identificar e mapear adequadamente os novos serviços dentro da regulamentação atual, por exemplo, como SVA ou SCM, ou propor ajustes ou alterações que avancem o arcabouço regulatório em vista do novo cenário introduzido pela Web 3.0. Ao final do projeto, espera-se: 1) entender os mecanismos relacionados a Web 3.0 que mais impactam no ecossistema de Telecomunicações brasileiro, em especial quanto às soluções de softwares, de aplicações e de integração de sistemas nos diferentes ambientes, tais como 5G/Pós-5G/6G; 2) definir critérios e diretrizes para implantação da Web 3.0 no ecossistema de telecomunicações brasileiro; 3) definir os requisitos de segurança cibernética e privacidade de dados para implementação da Web 3.0; 4) entender os cenários tecnológicos que melhoram a experiência do usuário na rede; 5) apontar tecnologias emergentes ou em consolidação que têm potencial para impactar a Internet do futuro e contribuir para formar a plataforma base da Web 3.0; 6) apontar potenciais impactos da Web 3.0 na demanda por recursos de comunicação e computação a serem oferecidos por provedores de acesso; 7) mapear necessidade de capacitação de mão de obra para o mercado nacional e sobre oportunidades de empreendedorismo e inovação; 8) apontar possíveis obstáculos infralegais e legais que impactem na implementação de soluções inovadoras fundadas no conceito Web 3.0; 9) identificar os desafios regulatórios da Web 3.0 que no contexto do cenário regulatório brasileiro representem possibilidades de regulamentação específicas; 10) definir instrumentos de incentivos regulatórios que promovam o surgimento e o desenvolvimento de tecnologias imersivas nacionais, embasados em PDI. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Cássio Leonardo Rodrigues - Integrante / Eliomar Araújo de Lima - Coordenador / Hugo Alexandre Dantas do Nascimento - Integrante / Jacson Rodrigues Barbosa - Integrante / Kleber Vieira Cardoso - Integrante / Sand Luz Corrêa - Integrante / Ronaldo Martins da Costa - Integrante / Sergio T. Carvalho - Integrante / Fábio Moreira Costa - Integrante., Financiador(es): Agência Nacional de Telecomunicações - Bolsa / Fundação de Amparo a Pesquisa do Estado de Goiás - Auxílio financeiro.

• 2017 - Atual

  Requisito, Projeto, Construção e Teste de Software para Avaliação da Qualidade de Vida de Pessoas Surdas, Descrição: De acordo com o censo de 2010 do Instituto Brasileiro de Geografia e Estatı́stica (IBGE), cerca de 9,7 milhões de pessoas possuem de- ficiência auditiva, sendo 1 milhão de crianças e jovens de até 19 anos de idade. Diante deste número tão significativo, é imprescindı́vel a criação de mecanismos para que pessoas surdas sejam incluı́das na sociedade. A pessoa surda, em geral, compreende e interage com o mundo por meio de experiências visuais, utilizando, principalmente, a Lı́ngua de Sinais (LS). A partir de uma abordagem multidisciplinar, este trabalho tem como objetivo principal desenvolver processos e fer- ramentas da Engenharia de Software para contemplar devidamente as necessidades usuários surdos na utilização de software. Em especial quatro áreas de conhecimento da área de Engenharia de Software são abordados: engenharia de requisitos, projeto, construção e teste.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (4) . , Integrantes: Cássio Leonardo Rodrigues - Coordenador / Karina R. G. da Silva - Integrante / Neuma Chaveiro - Integrante / Soraya Bianca Reis Duarte - Integrante / Renata Rodrigues de Oliveira Garcia - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

• 2014 - Atual

  Aplicando Meta-heurísticas para Otimização em Engenharia de Software, Descrição: Entre as áreas de aplicação das metaheurísticas, a Otimização em Engenharia de Software, Search-based Software Engineering, é uma das mais promissoras. Nessa área, os problemas da ES são transformados em problemas de busca e, assim, tornam-se aptos a serem solucionados por técnicas de otimização. Considerando a complexidade desses problemas reais, poucas são as técnicas que podem prover soluções satisfatórias. Entre as técnicas, as metaheurísticas apresentam bons resultados na literatura para problemas similares e, por isso, é a abordagem escolhida para este projeto. Em todo o ciclo do software é possível encontrar problemas para aplicação das metaheurísticas. Como exemplo, citam-se: Análise de requisitos, Projeto de software, Teste de Software e Manutenção. Entretanto, para cada problema é necessário avaliar a melhor metaheurística, dentre as várias existentes. Como exemplo, citam-se: GRASP, Simulated Annealing, Busca Tabu, PSO, Algoritmos Genéticos e Colonia de Formigas. Assim, este projeto propõe a identificação de problemas de busca dentro do ciclo do software e, posteriormente, a aplicação da metaheurística adequada para obter resultados satisfatórios. Espera-se, com isso, contribuir para melhoria e minimização de custos do processo de desenvolvimento de software.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (5) / Doutorado: (1) . , Integrantes: Cássio Leonardo Rodrigues - Coordenador / Celso Gonçalves Camilo-JR - Integrante.

• 2011 - 2013

  Estudo e Definição de Processo de Teste de Software para Micro e Pequenas Empresas de TI, Descrição: Criação e aplicação de um processo de teste de software, adequado às Micro e Pequenas Empresas de TI do estado de Goiás. Além disso, o projeto contempla a criação de suporte computacional para integrar ferramentas especializadas de testes já existentes. FAPEG: 2011.1026.7000.145. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (2) . , Integrantes: Cássio Leonardo Rodrigues - Integrante / Celso G. Camilo Junior - Integrante / Auri M. Rizzo Vincenzi - Coordenador., Financiador(es): Fundação de Amparo a Pesquisa do Estado de Goiás - Auxílio financeiro.

• 2010 - 2012

  Técnicas de apoio para a Verificação Funcional em Projetos de Circuitos Digitais, Descrição: O projejo visa desenvolver técnicas de apoio à verificação funcional de circuitos digitais na fase em que os blocos de projeto são integrados para compor um sistema maior. Estas técnicas devem ser capazes de promover o reuso estrutural de componentes de verificação, a preservação de critérios de cobertura dos blocos, a exploração de novos cenários emergentes da interação entre blocos e redução do tempo na verificação funcional das especificações do sistema. Número CNPq:478160/2010-0. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Cássio Leonardo Rodrigues - Integrante / Karina R. G. da Silva - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

• 2005 - 2007

  DVeritas: verificação de modelos distribuída, uma abordagem usando grades computacionais, Descrição: O principal objetivo deste projeto é investigar e desenvolver métodos e ferramentas para aliviar o problema da explosão de estados em verificação de modelos. Em particular, desenvolver técnicas para a verificação de modelos distribuída dentro do contexto do Veritas (verificador de modelos RPOO desenvolvido no GMF/DSC/UFCG).. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Cássio Leonardo Rodrigues - Integrante / Jorge C A de Figueiredo - Coordenador / Dalton D S Guerrero - Integrante / Paulo E. B. Silva - Integrante / Patrícia D. L. Machado - Integrante / Jairson Marinho Cabral - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

• 2003 - 2005

  Mobile: Técnicas e Ferramentas para a Validação Rigorosa de Sistemas de Software com Características de Mobilidade (CNPq, CTINFO/2002 - Processo 552190/2002-0), Descrição: O objetivo é investigar e desenvolver métodos, notações e ferramentas para auxiliar no desenvolvimento de sistemas de software concorrentes e distribuídos que incorporam conceitos avançados como mobilidade, através de técnicas de modelagem e verificação baseada em redes de Petri e orientação a objetos. Os objetivos específicos deste projeto de pesquisa podem ser divididos em três partes principais: Desenvolvimento de ferramentas de modelagem e verificação de sistemas RPOO. Investigação de métodos e técnicas para a geração de testes a partir de modelos RPOO. Aplicação no desenvolvimento de software baseado em agentes móveis.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Cássio Leonardo Rodrigues - Integrante / Jorge C A de Figueiredo - Coordenador / Dalton D S Guerrero - Integrante / Patrícia D. L. Machado - Integrante / Elthon A. S. Oliveira - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

• 2003 - 2005

  Veritas: Verificação de Modelos em Redes de Petri Orientadas a Objetos, Descrição: O objetivo principal deste trabalho é desenvolver técnicas de verificação formal de modelos RPOO, através da análise do espaço de estados. Metas: 1. Identificar e definir uma lógica temporal adequada para expressar propriedades de interesse em RPOO. 2. Especificar e desenvolver técnicas de verificação de modelos RPOO segundo a lógica identificada. 3. Validar os conceitos e as técnicas propostas, através de um estudo de caso.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (4) . , Integrantes: Cássio Leonardo Rodrigues - Integrante / Jorge C A de Figueiredo - Coordenador / Dalton D S Guerrero - Integrante / Paulo E. B. Silva - Integrante / Patrícia D. L. Machado - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

Prêmios