Data de publicação | Data de defesa | Título | Autor(es) | Orientador(es) | Coorientador(es) |
---|---|---|---|---|---|
14-Mai-2015 | 27-Fev-2015 | Dependability verification for contextual/runtime goal modelling | Mendonça, Danilo Filgueira | Rodrigues, Genaína Nunes | - |
26-Mai-2016 | 7-Ago-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 | - |