Skip navigation
Universidade de Brasília

Página de Busca


Filtros correntes:


Retornar valores
Adicionar filtros:

Utilizar filtros para refinar o resultado de busca.

 | 
Resultado 1-10 de 15.
Conjunto de itens:
Data de publicaçãoData de defesaTítuloAutor(es)Orientador(es)Coorientador(es)
20-Fev-201718-Nov-2016Estratégias comutativas para análise de confiabilidade em linha de produtos de softwareCastro, Thiago Mael deAlves, Vander RamosTeixeira, Leopoldo Motta
17-Mar-20119-Abr-2010Aplicação de técnicas de mineração de texto para categorização de eventos de segurança no CTIR GovPak, Albert Frederico de Menezes IlRalha, Célia Ghedini-
21-Jul-200821-Jul-2008Um modelo baseado em inteligência artificial para a gestão do conhecimento aplicado ao processo de desenvolvimento de softwareVieira, Sandro CarlosWeigang, Li-
26-Nov-201418-Dez-2013Melhoria de modelos de processo de negócio com mineração de processos e simulação baseada em agentesSzimanski, FernandoRalha, Célia GhediniFerreira, Diogo R.
25-Mar-201310-Dez-2012Especificação e verificação formais de boa-formação em linha de produtos de processo de negócioMachado, Giselle Barbosa GomesAlves, Vander RamosGheyi, Rohit
27-Ago-201829-Set-2017Transformações de programa para suportar a evolução da linguagem JavaDantas, Reno MedeirosAlmeida, Rodrigo Bonifácio de-
4-Nov-202224-Jun-2022RVSec : Runtime verification methods for high precision detection of cryptography API misuseTorres, Adriano Rodrigues FigueiredoAlmeida, Rodrigo Bonifácio de-
17-Jan-201214-Jun-2011Besouro: aprimorando a aferição automática da conformidade das atividades de desenvolvimento com TDDPedroso, Bruno de Souza CostaJacobi, Ricardo Pezzuol; Pimenta, Marcelo-
5-Jun-202023-Out-2019An architecture to support control theoretical-based verification of goal-oriented adaptation enginesCaldas, Ricardo DinizRodrigues, Genaína Nunes-
7-Out-20152010Método de aprendizagem por esforço no sistema bioagentsSchneider, Hugo WruckRalha, Célia GhediniWalter, Maria Emilia Machado Telles

Busca facetada