Analise Semantica Estatica
Mostrando 1-2 de 2 artigos, teses e dissertações.
-
1. Granlog : um modelo para analise automatica de granulosidade na programacao em logica / Granlog a model for automatic granulariy analysis in logic programming
A exploração do paralelismo na programação em lógica e considerada uma alternativa para simplificação da programação de maquinas paralelas e para aumento do desempenho de programas em lógica. Desta forma, a integração da programação em lógica e sistemas paralelos tornou-se nos últimos anos um centro de atenções da comunidade ciêntifica. De
Publicado em: 2010
-
2. Recuperação de visão estrutural de software combinando análise de semântica estática e latente
A compreensão de software ainda é um desafio para a manutenção de sistemas desconhecidos. Isto ocorre porque grande quantidade das informações não está disponível de forma explícita. Este trabalho propõe apoiar a compreensão de software através do uso de uma ferramenta visual e interativa, criando uma visão estrutural do sistema alvo. Para tal
Publicado em: 2009