Skip navigation
Universidade de Brasília

Browsing by Orientador Rodrigues, Genaína Nunes

Jump to: 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
or enter first few letters:  
Showing results 1 to 16 of 16
Date de publicationData de defesaTitreAuteur(s)Orientador(es)Coorientador(es):
13-aoû-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-avr-20209-aoû-2019Uma abordagem usando features BDD e modelo de objetivos para o desenvolvimento ágil de softwareLeal, Fábio BarrosRodrigues, Genaína Nunes-
22-fév-201826-sep-2017An architecture conformance process for software ecosystems with heterogeneous languagesRocha, Sigfredo FariasRodrigues, Genaína Nunes-
5-jui-202023-oct-2019An architecture to support control theoretical-based verification of goal-oriented adaptation enginesCaldas, Ricardo DinizRodrigues, Genaína Nunes-
19-mai-20166-avr-2015Análise do impacto de cenários implícitos na confiabilidade de sistemas computacionaisRoriz, Alexandre VazRodrigues, Genaína Nunes-
4-avr-201728-déc-2016Autonomic goal-driven deployment in heterogeneous computing environmentsRodrigues, Gabriel SiqueiraRodrigues, Genaína Nunes-
11-mar-201931-aoû-2018Characterization of implied scenarios as families of Common BehaviorMelo, Caio Batista deRodrigues, Genaína Nunes-
14-mai-201527-fév-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-mai-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-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-jui-2019A goal-oriented approach to support the assurance process of self-adaptive systems under uncertaintySolano, Gabriela FélixRodrigues, Genaína Nunes-
11-avr-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-mai-20167-aoû-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-déc-201430-jui-2014Uma solução de software de assinatura digital de documentos para instituição de ensino brasileiraQueiroz, Andrei LimaRodrigues, Genaína Nunes-
Showing results 1 to 16 of 16