Skip navigation
Universidade de Brasília

Buscar por Orientador Rodrigues, Genaína Nunes

Ir a: 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
O introducir las primeras letras:  
Mostrando resultados 1 a 16 de 16
Fecha de publicaciónData de defesaTítuloAutor(es)Orientador(es)Coorientador(es):
13-ago-202431-ene-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-feb-201826-sep-2017An architecture conformance process for software ecosystems with heterogeneous languagesRocha, Sigfredo FariasRodrigues, Genaína Nunes-
5-jun-202023-oct-2019An architecture to support control theoretical-based verification of goal-oriented adaptation enginesCaldas, Ricardo DinizRodrigues, Genaína Nunes-
19-may-20166-abr-2015Análise do impacto de cenários implícitos na confiabilidade de sistemas computacionaisRoriz, Alexandre VazRodrigues, Genaína Nunes-
4-abr-201728-dic-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-may-201527-feb-2015Dependability verification for contextual/runtime goal modellingMendonça, Danilo FilgueiraRodrigues, Genaína Nunes-
3-oct-202314-nov-2022Enhancing runtime monitors of cyber-physical systems using negative selectionAraújo, João Paulo Costa deRodrigues, Genaína Nunes-
26-may-20165-oct-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-ene-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-oct-2024Trace-diagnostic for signal temporal properties : an evolutionary approachAraujo, Gabriel Frutuoso PereiraRodrigues, Genaína Nunes-
26-may-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-dic-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