Página de Busca




Filtros correntes:






Adicionar filtros:

Utilizar filtros para refinar o resultado de busca.

Resultado 11-17 de 17.
Conjunto de itens:
Data de defesaPré-visualizaçãoTítuloAutorOrientadorProgramaTipo de documento
31-Ago-2012443170.pdf.jpgStochastic modeling of global software development teamsSantos, Alan Ricardo dosFernandes, Paulo Henrique LemellePrograma de Pós-Graduação em Ciência da ComputaçãoDissertação
20-Mar-2007437824.pdf.jpgUtilização de redes autômatos estocásticos no processo unificado, visando a geração de casos de teste de softwareBarros, André de AlmeidaFernandes, Paulo Henrique LemellePrograma de Pós-Graduação em Ciência da ComputaçãoDissertação
22-Mar-2012447661.pdf.jpgAlgoritmo para conversão automática de modelos SAN GTA para modelos SAN CTAGil, Paulo GuilhermeFernandes, Paulo Henrique LemellePrograma de Pós-Graduação em Ciência da ComputaçãoDissertação
25-Mar-2013459162.pdf.jpgTradução de modelos de redes de automatos estocásticos para a linguagem do NUSMVWondracek, Alberto do Carmo SulzbacherDotti, Fernando LuísPrograma de Pós-Graduação em Ciência da ComputaçãoDissertação
26-Mar-2013449321.pdf.jpgGeração de contraexemplos e testemunhas para um verificador de modelos descritos em redes de autômatos estocásticosCorrea, Claiton MarquesDotti, Fernando LuísPrograma de Pós-Graduação em Ciência da ComputaçãoDissertação
12-Mar-2010427631.pdf.jpgPrecisão de simulações para solução de modelos estocásticosTaschetto, DioneFernandes, Paulo Henrique LemellePrograma de Pós-Graduação em Ciência da ComputaçãoDissertação
30-Jun-2016DIS_MARCELO_VASCONCELLOS_GOMES_COMPLETO.pdf.jpgAvaliação de desempenho de equipes de projetos de desenvolvimento de software através de modelos probabilísticosGomes, Marcelo VasconcellosFernandes, Paulo Henrique LemellePrograma de Pós-Graduação em Ciência da ComputaçãoDissertação

Busca facetada