Projetos de Pesquisa, Desenvolvimento, Inovação e Extensão Concluídos
ALFA LerNET
LerNET (Language Engineering and Rigourous Software Development) is a network of higher education and research institutions in the Area of Computer Science, formed under the auspices of the European Comission ALFA Programme (Latin America Academic Training) programme. Integrantes: Carlos Camarão de Figueiredo – Integrante / Luis Soares Barbosa – Coordenador
Otimização de Código em Ambiente de Semântica Formal Executável baseado em ASM
O objetivo deste trabalho de pesquisa se origina na necessidade de ferramentas eficientes de suporte à execução e análise de sisteas complexos de modelagem baseadas em métodos formais. Tais ferramentas apresentam difícies problemas de otimização e de bom uso dos recursos do ambiente de computãção, Assim, utilizar ASM para especificar
Projeto de sistema embutido de tempo real tolerante a falhas para aplicações em processamento de alto desempenho
Pretende-se desenvolver um ambiente baseado em FPGA que possa ser utilizado em aplicações que possuam processamento de alto desempenho e realizar um estudo comparativo com a mesma aplicação desenvolvida em microcontroladores. Pretende-se desenvolver ainda os diversos drivers que permitirá o interfaceamento do hardware com o sistema operacional. A execução deste
Um Jogo de Apoio ao Ensino de Engenharia de Software
Este projeto propõe a adaptação de jogos educacionais existentes para refletir práticas mais modernas de produção de software e para considerar aspectos intrínsecos do desenvolvimento de software no Brasil. O objetivo geral é tornar o ensino de Engenharia de Software mais atrativo aos alunos, apresentando conceitos práticos importantes de uma
Uso de Máquinas de Estado Abstratas na Formalização de Agentes em Aplicações de Inteligência Artificial e Jogos
Este trabalho de pesquisa discute a adequação de formalismo ASM para a especificação do comportamento de agentes em aplicações de Inteligência Artificial. Fazendo uso de ferramentas específicas, um dos objetivos desta pesquisa é implementar aplicações de Inteligência Artificial usando-se o paradigma de ASM, bem como avaliar a facilidade de implementação
AOL fellowship in Information Retrieval
Projeto de pesquisa financiado pela AOL para desenvolvimento de teorias e ferramentas para Bibliotecas Digitais. Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissionalizante: (0) / Doutorado: (1) . Integrantes: Marcos André Gonçalves – Integrante / Edward A Fox – Coordenador.
Conectividade em Módulos
O objetivo geral deste projeto é investigar a predição de esforço de manutenção de softwares orientados por objetos tendo como premissa que o grau de conectividade é o fator que pode ser usado para tal predição. Conectividade é o grau de intercomunicação entre os módulos de um sistema. Dentre os
Análise de Fraude na Rede Elétrica de Consumidores de Média Tensão
O principal elemento motivador do desenvolvimento do projeto está relacionada aos elevados níveis de perdas financeiras e comerciais relacionados à fraude e roubo de energia, principalmente nos grandes centros urbanos. Atualmente a CEB – Companhia Energética de Brasília – tem realizado a análise individual e manual de curvas de carga
Classificação Automática Robusta Temporalmente – TimeClass
O objetivo técnico principal deste projeto consiste em: i) desenvolver uma metodologia unificada para estender algoritmos estado-da-arte de CAD de forma a torná-los robustos temporalmente e ii) aplicar esses classificadores a outros problemas práticos interessantes.
