Por meio desse projeto PPM, solicita-se apoio para a pesquisa principal do proponente na área de desenvolvimento de software orientado por aspectos. Basicamente, nessa pesquisa, pretende-se investigar soluções para os problemas de evolução e modularidade típicos da atual geração de sistemas e linguagens para desenvolvimento de software orientado por aspectos.

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.  

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

Hoje em dia, com o desenvolvimento a baixo custo de sistemas informatizados, a maior parte da informação é armazenada de forma digital. De fato, o funcionamento de instituições em todas as áreas sociais depende de sistemas de informação eficazes e eficientes. No entanto, o desenvolvimento de sistemas para o tratamento

Objetivos Propostos: a)Desenvolver um conhecimento mais sólido sobre padrões de comportamento de usuários de serviços de mídia contínua, a partir de caracterizações mais extensivas e completas de diferentes tipos de cargas de trabalho. b)Criar classes de modelos de acesso que reflitam o comportamento típico dos clientes para cada tipo de aplicação

Esse projeto tem por objetivo produzir algoritmos de mineração de textos e grafos mais eficientes e eficazes, por meio da exploração de conhecimento existente e paralelização. Integrantes: Renato Antonio Celso Ferreira – Integrante / Wagner Meira Jr. – Coordenador / Dorgival Guedes – Integrante.  

O objetivo deste projeto é desenvolver técnicas que suportem a paralelização automática de programas. Entre tais técnicas citam-se análises estáticas de programas, e instrumentação de código binário. Este projeto é uma cooperação entre instituições brasileiras (UFMG e CEFET-MG) e o INRIA francês

A vigilância automática de ambientes visa extrair informações a respeito de atividades desempenhadas pelos humanos de modo a detectar interações e identificar padrões de comportamentos que sejam suspeitos. Entretanto, antes que tais atividades sejam analisadas, diversos problemas que compreendem o domínio de aplicação conhecido como observação de pessoas devem ser

O trabalho proposto visa criar um ambiente integrado de desenvolvimento de analisadores sintáticos LR, com suporte a depuração visual do analisador especificado e facilidade de integração, via a utilização de plugins, com múltiplos geradores de analisadores sintáticos. Além disto, a ferramenta disponibiliza recursos para auxiliar o usuário na remoção de