Search


Current filters:

Start a new search
Add filters:

Use filters to refine the search results.


Results 51-60 of 62 (Search time: 0.003 seconds).
Item hits:
Issue DateTitleAuthor(s)
2-Mar-2007Geração de casos de teste de interação para aplicações de celulares.ANDRADE, Wilkerson de Lucena.
23-Feb-2007Verificação distribuída de modelos: investigando o uso de grades computacionais.BARBOSA, Paulo Eduardo e Silva.
20-Apr-2007Detecção automática de violações de propriedades de sistemas concorrentes em tempo de execução.BARBOSA, Ana Emília Victor.
2009Desenvolvimento de sistemas inteligentes de realidade virtual para construção de ambientes virtuais adaptativos, gerenciados pelo VEPersonal.COSTA, Daniel Leite Viana.; AQUINO, Marcus Salerno de.
2009Detecção de início-fim de elocuções para verificação de locutor em sistemas embarcados.ALVES, João Viniccius Gomes.; MELCHER, Elmar Uwe Kurt.; FECHINE, Joseana Macêdo.
2009Uma linguagem para especificação de regras de design para programas orientados a aspectos.MARQUES, Arthur.; GHEYI, Rohit.
2009Investigação e implementação de técnicas de mineração de dados para descoberta de padrões em MDA.LEAL, Fábio de Sousa.; RAMALHO, Franklin de Souza.
2009Estendendo o perfil de testes U2TP para dar suporte ao teste de software baseado em componentes.ALVES, Everton Leandro Galdino.; MACHADO, Patrícia Duarte de Lima.
2009ImpalaDynamic: analisador de impacto de mudanças em código de software.SANTOS, Gustavo J. de S.; GUERRERO, Dalton Dario Serey.
2009VadeMecum: uma plataforma de desenvolvimento para aplicações cientes de contexto.ANDRADE, Filipe Carolino Ferreira de.; FIGUEIRÊDO, Hugo Feitosa de.; BAPTISTA, Cláudio de Souza.