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 16 de 16
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-
17-mar-202528-out-2024Trace-diagnostic for signal temporal properties : an evolutionary approachAraujo, Gabriel Frutuoso PereiraRodrigues, 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 16 de 16