Search
Add filters:
Use filters to refine the search results.
Item hits:
Issue Date | Title | Author(s) |
---|---|---|
23-Feb-2007 | Verificação distribuída de modelos: investigando o uso de grades computacionais. | BARBOSA, Paulo Eduardo e Silva. |
20-Apr-2007 | Detecção automática de violações de propriedades de sistemas concorrentes em tempo de execução. | BARBOSA, Ana Emília Victor. |
31-May-2007 | Estudo experimental comparativo de modelos de componentes para o desenvolvimento de software sob o aspecto de evolutibilidade. | BARBOSA, Nádia Milena da Silva. |
Jul-2007 | SMILE - uma ferramenta para geração automática, edição e simulação de protótipos de interface do usuário. | AGUIAR, Yuska Paola Costa. |
1-Aug-2007 | Avaliação do risco associado a mudanças de TI com aplicação para a atividade de priorização. | SANTOS, Rodrigo Almeida dos. |
31-Jan-2007 | Abordagem híbrida para avaliação da usabilidade de dispositivos móveis. | FERREIRA, Danilo de Sousa. |
Dec-2005 | Convertendo recursos compartilhados no espaço em recursos intermitentes. | COSTA, Lauro Beltrão. |
Discover
Subject