Skip navigation
Universidade de Brasília

Navegando por Orientador Rodrigues, Genaína Nunes

Ir para: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
ou entre com as primeiras letras:  
Mostrando resultados 1 a 15 de 15
Data de publicaçãoData de defesaTítuloAutor(es)Orientador(es)Coorientador(es)
13-Ago-202431-Jan-2023Uma abordagem para verificação de missões multi-robôs em alto nível no UPPAALGalvão, Danilo José BispoRodrigues, Genaína Nunes-
13-Abr-20209-Ago-2019Uma abordagem usando features BDD e modelo de objetivos para o desenvolvimento ágil de softwareLeal, Fábio BarrosRodrigues, Genaína Nunes-
22-Fev-201826-Set-2017An architecture conformance process for software ecosystems with heterogeneous languagesRocha, Sigfredo FariasRodrigues, Genaína Nunes-
5-Jun-202023-Out-2019An architecture to support control theoretical-based verification of goal-oriented adaptation enginesCaldas, Ricardo DinizRodrigues, Genaína Nunes-
19-Mai-20166-Abr-2015Análise do impacto de cenários implícitos na confiabilidade de sistemas computacionaisRoriz, Alexandre VazRodrigues, Genaína Nunes-
4-Abr-201728-Dez-2016Autonomic goal-driven deployment in heterogeneous computing environmentsRodrigues, Gabriel SiqueiraRodrigues, Genaína Nunes-
11-Mar-201931-Ago-2018Characterization of implied scenarios as families of Common BehaviorMelo, Caio Batista deRodrigues, Genaína Nunes-
14-Mai-201527-Fev-2015Dependability verification for contextual/runtime goal modellingMendonça, Danilo FilgueiraRodrigues, Genaína Nunes-
3-Out-202314-Nov-2022Enhancing runtime monitors of cyber-physical systems using negative selectionAraújo, João Paulo Costa deRodrigues, Genaína Nunes-
26-Mai-20165-Out-2015Explorando a combinação de visualização de software com clusterização de dados em um processo de reconstrução de arquiteturaPaiva, Renato Edésio RodriguesRodrigues, Genaína NunesLadeira, Marcelo
-27-Jan-2020Feature-Trace : an approach to generate operational profile and to support regression testing from BDD featuresBarbosa, Rafael Fazzolino PintoRodrigues, Genaína Nunes-
11-Mar-202011-Jul-2019A goal-oriented approach to support the assurance process of self-adaptive systems under uncertaintySolano, Gabriela FélixRodrigues, Genaína Nunes-
11-Abr-201824-Nov-2017Integrating data mining into contextual goal modeling to tackle context uncertaintiesat design timeFarias, Arthur José RodriguesRodrigues, Genaína Nunes-
26-Mai-20167-Ago-2015Uma abordagem dirigida a modelo para a geração de casos de teste baseada na detecção de cenários implícitosReis, Thiago Peixoto dosRodrigues, Genaína Nunes-
29-Dez-201430-Jul-2014Uma solução de software de assinatura digital de documentos para instituição de ensino brasileiraQueiroz, Andrei LimaRodrigues, Genaína Nunes-
Mostrando resultados 1 a 15 de 15