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

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

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

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

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

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.  

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

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

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.