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

Análise de Fraude na Rede Elétrica de Consumidores de Média Tensão. O projeto aqui apresentado consiste na utilização de técnicas de mineração de dados, com o objetivo principal de detectar possíveis fraudes na rede elétrica de consumidores de média tensão. Seu propósito maior é desenvolver um sistema computacional composto de

O potencial educacional e de preservação e disseminação cultural e científica existente nas bibliotecas digitais é inegável. Tal potencial é ainda mais relevante no Brasil, onde bibliotecas digitais podem atuar como ferramentas de apoio a soluções de problemas específicos do país tais como exclusão digital, analfabetismo, má preparação de educadores

A confiabilidade de uma aplicação depende de três aspectos chaves: desempenho, disponibilidade e robustez a usuários maliciosos e oportunistas. Neste projeto, pretendemos atuar em três frentes de trabalho para aumentar a confiabilidade de aplicações da Internet. No contexto de aplicações de comércio eletrônico, pretendemos desenvolver um arcabouço integrado de gerenciamento

Este projeto tem como objetivo central o desenvolvimento de sistemas de middleware que sejam menos monolíticos e invasivos e mais modulares e abertos a configurações, extensões, personalizações e manutenções.  Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (5) / Mestrado profissionalizante: (0) / Doutorado: (0) . Integrantes: Marco

Este projeto tem por objetivo desenvolver técnicas escaláveis e eficientes para o pareamento de bases do SUS, tanto em termos do pareamento em si, quanto da sua paralelização. Integrantes: Wagner Meira Junior – Coordenador / Dorgival Olavo Guedes Neto – Integrante / Renato Antonio Celso Ferreira – Integrante / Walter

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

É um projeto de pesquisa em andamento, onde o objetivo é propor modelos para diversos problemas e aplicações, algoritmos exatos, aproximativos e heurísticas, e aplicações especiais em redes óticas, redes sem fio e móveis, computação móvel e comunicação sem fio, redes celulares e sensores, problemas de produção e transporte como

Este Projeto Pesquisador Mineiro foi solicitado para apoiar as pesquisas do Grupo de Engenharia de Software Aplicada (ASERG) do DCC/UFMG. As pesquisas atuais do grupo estão organizadas em quatro linhas: (a) Conformidade Arquitetural, (b) Métricas, Predição e Gerenciamento de Bugs; (c) Documentação de APIs; (d) Novas Visões Modulares.   Alunos