Skip navigation
Communities
Browse
Author
Orientador
Coorientador
Title
Subject
Tipo
Issue Date
???browse.menu.unidade???
???browse.menu.ppg???
Documentos
Portaria n.13 CAPES
Resolução - Política de Informação do RIUnB
Resolução VRT n.27-2014 - Alteração de Teses e Dissertações
Creative Commons
Termo de Autorização - Teses e Dissertações
Termo de Autorização - Artigos e Outros
Modelo de Justificativa - Publicação Parcial
Modelo de Justificativa - Extensão de Prazo
A-
A
A+
Sign on to:
My DSpace
Receive email
updates
Edit Profile
Voltar
Repositório Institucional da UnB
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:
Sort by:
title
issue date
submit date
Data de defesa
In order:
Ascending
Descending
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Authors/Record:
All
1
5
10
15
20
25
30
35
40
45
50
Showing results 1 to 15 of 15
Issue Date
Data de defesa
Title
Author(s)
Orientador(es)
Coorientador(es):
13-Aug-2024
31-Jan-2023
Uma abordagem para verificação de missões multi-robôs em alto nível no UPPAAL
Galvão, Danilo José Bispo
Rodrigues, Genaína Nunes
-
13-Apr-2020
9-Aug-2019
Uma abordagem usando features BDD e modelo de objetivos para o desenvolvimento ágil de software
Leal, Fábio Barros
Rodrigues, Genaína Nunes
-
22-Feb-2018
26-Sep-2017
An architecture conformance process for software ecosystems with heterogeneous languages
Rocha, Sigfredo Farias
Rodrigues, Genaína Nunes
-
5-Jun-2020
23-Oct-2019
An architecture to support control theoretical-based verification of goal-oriented adaptation engines
Caldas, Ricardo Diniz
Rodrigues, Genaína Nunes
-
19-May-2016
6-Apr-2015
Análise do impacto de cenários implícitos na confiabilidade de sistemas computacionais
Roriz, Alexandre Vaz
Rodrigues, Genaína Nunes
-
4-Apr-2017
28-Dec-2016
Autonomic goal-driven deployment in heterogeneous computing environments
Rodrigues, Gabriel Siqueira
Rodrigues, Genaína Nunes
-
11-Mar-2019
31-Aug-2018
Characterization of implied scenarios as families of Common Behavior
Melo, Caio Batista de
Rodrigues, Genaína Nunes
-
14-May-2015
27-Feb-2015
Dependability verification for contextual/runtime goal modelling
Mendonça, Danilo Filgueira
Rodrigues, Genaína Nunes
-
3-Oct-2023
14-Nov-2022
Enhancing runtime monitors of cyber-physical systems using negative selection
Araújo, João Paulo Costa de
Rodrigues, Genaína Nunes
-
26-May-2016
5-Oct-2015
Explorando a combinação de visualização de software com clusterização de dados em um processo de reconstrução de arquitetura
Paiva, Renato Edésio Rodrigues
Rodrigues, Genaína Nunes
Ladeira, Marcelo
-
27-Jan-2020
Feature-Trace : an approach to generate operational profile and to support regression testing from BDD features
Barbosa, Rafael Fazzolino Pinto
Rodrigues, Genaína Nunes
-
11-Mar-2020
11-Jul-2019
A goal-oriented approach to support the assurance process of self-adaptive systems under uncertainty
Solano, Gabriela Félix
Rodrigues, Genaína Nunes
-
11-Apr-2018
24-Nov-2017
Integrating data mining into contextual goal modeling to tackle context uncertaintiesat design time
Farias, Arthur José Rodrigues
Rodrigues, Genaína Nunes
-
26-May-2016
7-Aug-2015
Uma abordagem dirigida a modelo para a geração de casos de teste baseada na detecção de cenários implícitos
Reis, Thiago Peixoto dos
Rodrigues, Genaína Nunes
-
29-Dec-2014
30-Jul-2014
Uma solução de software de assinatura digital de documentos para instituição de ensino brasileira
Queiroz, Andrei Lima
Rodrigues, Genaína Nunes
-