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. 

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

Oprincipal objetivo desse projeto é utilizar um algoritmo evolucionário para gerar automaticamente um algoritmo de classificação baseado em Redes Bayesianas. O algoritmo será validado em três contextos: considerando bases de dados específicas, conjuntos de bases com características semelhantes e bases de dados genéricas. Além disso, estudaremos como melhorar a generalização

Estudo e pesquisa de métodos de especificação formal executáveis e de geração de compiladores baseados em semântica formal. Integrantes: Mariza Andrade da Silva Bigonha – Integrante / Vladimir O Di Iorio – Integrante / BIGONHA, Roberto S. – Coordenador.  

O objetivo principal do projeto é investigar, desenvolver e avaliar algoritmos para a coordenação e controle de agentes inteligentes em robótica e jogos digitais. No contexto da robótica, o projeto dá continuidade aos trabalhos de coordenação de grandes grupos de agentes realizados pelo pesquisador, focando em algoritmos que sejam escaláveis

Algumas manifestações de características são consideradas indícios de problemas para a evolução de uma Linha de Produtos de Software (LPS) como, por exemplo, por levarem a um número excessivo de falhas e instabilidade dos produtos. Por outro lado, inúmeras técnicas de desenvolvimento têm sido propostas com o objetivo de separar

O objetivo deste projeto é oferecer meios para avaliação empírica dos efeitos positivos e negativos de diferentes mecanismos de composição de uma família de sistemas na estabilidade e na robustez dos produtos de software. Ao fim deste projeto espera-se obter os seguintes resultados: (i) identificar, documentar e formalizar diferentes formas

Este projeto visa caracterizar e modelar diferentes fontes de evidencia sobre o comportamento dos usuarios de serviços da Web 2.0 visando entender como os diferentes padrões podem afetar a qualidade, eficiência e eficácia destes serviços.  Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (5) / Doutorado: (2) . Integrantes: Jussara Marques

A proposição de um conjunto de projetos de pesquisa, ao invés de apenas um, busca mostrar as diversas atividades de pesquisa e formação de recursos humanos do proponente e caracterizar melhor as necessidades de apoio para auxiliar na condução dos seus projetos. Já estão e continuarão a ser envolvidos nos