Data de publicação | Data de apresentação | Título | Autor(es) | Orientador(es) | Coorientador(es) |
23-Abr-2018 | 8-Dez-2017 | An OSGi implementation for autonomous Goal-Oriented deployment | Araujo, João Paulo Costa de | Rodrigues, Genaína Nunes | - |
21-Jul-2020 | 19-Jul-2019 | Análise de projetos no GitHub que utilizam Behavior Driven Development | Kfouri, Tiago de Oliveira | Rodrigues, Genaína Nunes | - |
7-Ago-2017 | 13-Mar-2017 | Análise de riscos de jogos de realidade aumentada e utilização da modelagem orientada a persona : Pokémon Go, um estudo de caso | Moreira, Jaqueline Couto | Rodrigues, Genaína Nunes | - |
18-Mai-2021 | 18-Dez-2020 | Um arcabouço para a geração automatizada de testes funcionais a partir de cenários BDD | Marques, Nicholas Nishimoto; Fernandes, Rafael Alves | Rodrigues, Genaína Nunes | - |
10-Jul-2024 | 24-Jul-2023 | Um arcabouço para experimentos simulados distribuídos em sistemas multi-robô | Moraes, Vicente Romeiro de | Rodrigues, Genaína Nunes | - |
24-Jun-2022 | 12-Nov-2021 | BDD-CLI : um arcabouço para geração automática de artefatos de testes unitários de software | Belém, Heitor de Lima; Rezende, Ícaro Nery | Rodrigues, Genaína Nunes | - |
27-Jun-2022 | 27-Mai-2021 | Biblioteca de geração automática de testes de regressão a partir do log de execução de aplicações SaaS | Dib, Frederico Pinheiro | Rodrigues, Genaína Nunes | - |
7-Ago-2017 | 15-Jul-2017 | Definindo relações semânticas entre famílias de cenários implícitos | Melo, Caio Batista de | Rodrigues, Genaína Nunes | - |
25-Jun-2022 | 26-Mai-2021 | Desenvolvimento e teste da ferramenta HMR Sim : um simulador de ambientes multi-robôs | Guidini, Giovanni Meneguette; Cardoso, Cristiane Naves | Rodrigues, Genaína Nunes | - |
17-Fev-2023 | 22-Set-2022 | DEVS2BDD : um arcabouço para a geração de casos de testes BDD no simulador MS4Me | Duarte, Pedro Augusto Ramalho | Rodrigues, Genaína Nunes | - |
22-Set-2021 | 13-Dez-2019 | Entendendo requisitos contextuais a partir de personas | Galvão, Danilo José Bispo | Rodrigues, Genaína Nunes | - |
6-Nov-2013 | 7-Mar-2013 | Especificação e implantação de um ambiente de gerenciamento de workflows científicos baseado em nuvens computacionais federadas | Silva, Jefferson Leandro da | Rodrigues, Genaína Nunes | - |
27-Jun-2022 | 25-Mai-2021 | Estudo de comportamento de usuários de um app : transição de Freemium para Premium | Souza, Alex Nascimento | Rodrigues, Genaína Nunes | - |
29-Set-2016 | 17-Fev-2016 | Estudo de mapeamento sistemático em dependabilidade e métodos ágeis: uma reprodução de estudo de 2012 a 2015 | Lima, Gabrielly Ferreira Leonardo de | Rodrigues, Genaína Nunes | - |
25-Jun-2014 | 14-Dez-2013 | Estudo exploratório de aplicação da biblioteca ITIL no gerenciamento de mudanças em uma instituição financeira | Souza, Felipe Vasconcelos de | Rodrigues, Genaína Nunes | - |
1-Jun-2016 | 21-Ago-2015 | Estudo exploratório do uso de algoritmos genéticos no gerenciamento de tarefas e recursos em cloud computing | Farias, Arthur José Rodrigues | Rodrigues, Genaína Nunes | - |
11-Ago-2016 | 2016 | Estudo exploratório sobre o impacto acerca da interrupção e indisponibilidade dos serviços de TI oferecidos pelo CPD sobre as atividades de pesquisa e administrativas da UnB | Moura, Lucas Fernandes Braga | Rodrigues, Genaína Nunes | - |
6-Nov-2013 | 23-Set-2013 | Estudo sistemático em dependabilidade e métodos ágeis : uma análise de falhas e defeitos | Braga, Artur de Azevedo; Leal, Renato dos Santos | Rodrigues, Genaína Nunes | - |
31-Ago-2015 | 2013 | Estudo sobre o comportamento de usuários em redes sociais sob um modelo computacional de atenção visual | Giusti, Paulo Ricardo Xavier | Rodrigues, Genaína Nunes | - |
10-Fev-2022 | 16-Nov-2021 | GM2MS4 : a transformation tool from goal-oriented models to system-of-systems mission simulation | Coelho Neto, Manoel Vieira | Rodrigues, Genaína Nunes | - |
5-Out-2023 | 27-Ago-2023 | Implementação de simulação da navegação de robôs de acionamento diferencial no simulador HMR Sim usando o controlador PID | Silva, Danilo Inácio dos Santos | Rodrigues, Genaína Nunes | - |
26-Nov-2024 | 24-Set-2024 | Integração da Body Sensor Network com o monitoramento de reações alérgicas dos pacientes | Stachuk, Thiago Rigotto; Veloz, Lucas Silva | Rodrigues, Genaína Nunes | - |
12-Dez-2023 | 23-Fev-2023 | Integração do simulador HMR Sim com o Middleware ROS 2 | Alexandre, Kálley Wilkerson Rodrigues | Rodrigues, Genaína Nunes | - |
19-Fev-2018 | 2017 | Interoperabilidade entre a biblioteca UnB-DALi e ferramentas UML | Lima, Pedro Paulo Struck; Silva, Jefferson Leandro da | Rodrigues, Genaína Nunes | - |
11-Fev-2022 | 5-Nov-2021 | Modernização do feature-trace mediante a adoção de princípios DevOps | Bernardo, Helio Adson Oliveira | Rodrigues, Genaína Nunes | - |
14-Fev-2023 | 18-Nov-2021 | Monitoramento de propriedades em tempo real : um estudo de caso na Body Sensor Network | Couto, Samuel Andrade | Rodrigues, Genaína Nunes | - |
17-Fev-2023 | 16-Mai-2022 | PGOM : uma arquitetura orientada a plugins para a modelagem orientada a objetivos no piStar | Souza, Rafael Oliveira | Rodrigues, Genaína Nunes | - |
27-Jul-2018 | 15-Mar-2018 | piStar-GODA : integração entre os projetos piStar e GODA | Bergmann, Leandro Santos | Rodrigues, Genaína Nunes | - |
17-Jan-2017 | 27-Jul-2016 | Uma proposta de modelagem orientada a personas para o modelo de objetivo orientado a contexto | Watanabe, Naiara | Rodrigues, Genaína Nunes | - |
16-Jan-2017 | 3-Ago-2016 | Uma proposta para a otimização de análise de cenários implícitos | Lima, Filipe Ponte | Rodrigues, Genaína Nunes | - |
29-Jun-2022 | 17-Mai-2022 | Uma proposta para priorização de testes funcionais orientada a modelo de objetivos | Silva, Nayara Rossi Brito da | Rodrigues, Genaína Nunes | - |
31-Jan-2018 | Dez-2017 | Prototipação e verificação formal de sistema autônomo com propriedades tempo-real : um estudo de caso no Body Sensor Network | Caldas, Ricardo Diniz | Rodrigues, Genaína Nunes | - |
28-Jun-2022 | 24-Mai-2021 | Provendo a fórmula paramétrica composicional como um serviço no PiStarGODA-MDP | Silva, Gabriel Levi Gomes da | Rodrigues, Genaína Nunes | - |
17-Fev-2023 | 16-Mai-2022 | Provendo manutenibilidade e testabilidade ao Feature-Trace | Bandeira, Vitor Ribas | Rodrigues, Genaína Nunes | - |
22-Ago-2024 | 22-Dez-2023 | Ragic : biblioteca de roteamento e navegação para desenvolvimento web em React | Pinheiro, Lucas Vinicius Magalhães; Paulo, Rafael Gonçalves de | Rodrigues, Genaína Nunes | - |
2-Jul-2024 | 22-Dez-2023 | Refatoramento da Body Sensor Network (BSN) para detecção de casos suspeitos de covid-19 | Pacheco, Gabriel R. | Rodrigues, Genaína Nunes | - |
10-Nov-2022 | 5-Nov-2021 | Simulação e execução de árvores de comportamento dinâmicas no contexto de robôs de serviços | Araújo, Gabriel Frutuoso Pereira | Rodrigues, Genaína Nunes | - |
18-Nov-2013 | 25-Set-2013 | Uma abordagem exploratória de análise de dependabilidade no contexto do Observatório da Web | Porto, Túlio César de Araújo | Rodrigues, Genaína Nunes | - |
12-Jul-2013 | 4-Mar-2013 | Uma ferramenta de geração de grafos de proveniência para bioinformática | Andrade, Alexandre Lins de Albuquerque | Rodrigues, Genaína Nunes | Holanda, Maristela Terto de |
10-Ago-2016 | 2016 | UnB-DALi : biblioteca para transformação de modelos em análise de dependabilidade | Oliveira, Abílio Esteves Calegário de | Rodrigues, Genaína Nunes | - |
18-Nov-2013 | 27-Set-2013 | Utilização de técnicas de inspeção e monitoramento no Observatório da Web | Melo, Leonardo de Sousa; Gules, Felipe Carvalho | Rodrigues, Genaína Nunes | - |
17-Dez-2024 | 24-Set-2024 | Verificação autônoma de contexto de pacientes a partir de faixas de risco na SA-BSN | Lottermann, Carlos Eduardo Taborda | Rodrigues, Genaína Nunes | - |
31-Jul-2020 | 10-Jul-2019 | Verificação, prototipação e análise de estratégias de escalonamento e controle para sistemas auto adaptativos tempo real | Gil, Eric Bernd | Rodrigues, Genaína Nunes | - |
17-Jan-2017 | 28-Jul-2016 | Verificando a boa formação de modelos GODA | Solano, Gabriela Félix | Rodrigues, Genaína Nunes | - |