Collection's Items (Sorted by Submit Date in Descending order): 561 to 580 of 695
| Issue Date | Title | Author(s) |
| 1-Feb-2005 | Uma arquitetura de software para arranjos produtivos locais. | ALMEIDA, Rodrigo Rebouças de. |
| 16-Sep-2009 | Isolamento automático de falhas em sistemas. | PORTO, Wagner de Souza. |
| 28-Feb-2008 | Abordagens para avaliação experimental de testes baseado em modelos de aplicações reativas. | NASCIMENTO, Laísa Helena Oliveira do. |
| 16-Jun-2010 | BVM: reformulação da metodologia de verificação funcional VeriSC. | OLIVEIRA, Helder Fernando de Araújo. |
| 20-Jul-2007 | Infraestrutura para o desenvolvimento de aplicações cientes de contexto em ambientes pervasivos. | BUBLITZ, Frederico Moreira. |
| 26-Feb-2003 | Projeto e implementação de módulo TAOS-Graph da ferramenta iTAOS para análise e modelagem da tarefa. | MEDEIROS, Francisco Petrônio Alencar de. |
| 29-Aug-2002 | Um modelo para tratamento de confiança sobre transações de e-business. | PILLATT, Fábio Roberto. |
| 30-Aug-2007 | Desenvolvimento de software guiado por testes de aceitação usando EasyAccept. | ABATH NETO, Osório Lopes. |
| 28-Aug-2002 | Ferramenta para aumento da produtividade no desenvolvimento de aplicações web sobre a plataforma J2EE. | SANTOS JÚNIOR, José Maria Rodrigues. |
| 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. |
Collection's Items (Sorted by Submit Date in Descending order): 561 to 580 of 695
