Collection's Items (Sorted by Submit Date in Descending order): 581 to 600 of 706
| Issue Date | Title | Author(s) |
| 6-May-2011 | Infraestrutura para o desenvolvimento de aplicações pervasivas cientes de redes sociais. | SANTOS, Daniel Bruno Alves dos. |
| 26-May-2006 | Geração de objetivos de teste de sistemas reativos baseada na técnica de verificação de modelos CTL. | SILVA, Daniel Aguiar da. |
| 26-Jul-2010 | Testes de design: uma abordagem baseada em testes para verificação automática de conformidade estrutural entre implementação e regras de design. | MONTEIRO, João Arthur Brunet. |
| 2-Mar-2007 | Geração de casos de teste de interação para aplicações de celulares. | ANDRADE, Wilkerson de Lucena. |
| 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. |
| 17-Feb-2004 | COMPOR - desenvolvimento de software para sistemas multiagentes. | ALMEIDA, Hyggo Oliveira de. |
| 20-Jun-2008 | Gerador de vídeo pseudo-aleatório sintético na verificação funcional de circuitos decodificadores de vídeo MPEG-4. | SILVEIRA, George Sobral. |
| 28-Aug-2002 | Especificação de componentes para modelagem de redes locais de computadores sem fio padrão IEEE 802.11. | VASCONCELOS, Geovane Vitor. |
| 2-Oct-2006 | Infraestrutura de software baseada em componentes para a construção de aplicações para comunidades virtuais móveis. | FERREIRA, Glauber Vinicius Ventura de Melo. |
| 19-Jul-2006 | Um middleware extensível para disponibilização de serviços em ambientes pervasivos. | LOUREIRO FILHO, Emerson Cavalcante. |
| 11-Mar-2010 | Infraestrutura para transmissão de conteúdo multimídia com suporte à adaptação de fluxos. | CALADO, Ivo Augusto Andrade Rocha. |
| 22-Dec-2003 | SAMOA - Sistema de Apoio à Modelagem Orientada a Objetos de Aplicações. | SILVA, Edemberg Rocha da. |
| 29-Nov-2010 | Estudo de técnicas para classificação de vozes afetadas por patologias. | MARINUS, João Vilian de Moraes Lima. |
| 30-Jul-2007 | Algoritmos para composição automática de fotografias. | CAVALCANTI, Cláudio Sebastião Vasconcelos da Cunha. |
| 6-Aug-2010 | Uma abordagem dirigida por modelos para geração automática de casos de teste de integração usando padrões de teste. | MACIEL, Camila de Luna. |
| 30-Apr-2010 | Automação da técnica de inspeção guiada para conformidade entre requisitos e diagramas UML. | ROCHA, Anne Caroline Oliveira. |
| 13-Mar-2009 | Análise de correlação entre métricas de evolução e qualidade de design de software. | ASSIS, Pablo Oliveira Antonino de. |
| 19-Aug-2010 | Descoberta de causa-raiz em ocorrências de sistemas elétricos. | PIRES, Stéfani Silva. |
| 16-May-2008 | DigiSeal - um estudo de caso para modelagem de transações temporais assíncronas na metodologia VeriSC. | ROCHA, Ana Karina de Oliveira. |
| 29-Aug-2007 | FLOApp: ambiente integrado para suporte às comunidades de desenvolvimento e usuárias de software livre. | MUNIZ, Ana Isabella. |
Collection's Items (Sorted by Submit Date in Descending order): 581 to 600 of 706
