ETDs @PUC-Rio
| Título: | AVALIAÇÃO DO USO DE ANÁLISE ESTÁTICA NA DETECÇÃO DE CONFLITOS SEMÂNTICOS EM TIPOS DE DADOS | ||
| Autor(es): |
RAFAEL DE PINHO ANDRE |
||
| Orientador (es) : |
ARNDT VON STAA |
||
| Instituição: | PUC-RIO - PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO | ||
| Programa: | PPG EM INFORMÁTICA | ||
| Área: | REDES DE COMPUTADORES E SISTEMAS DISTRIBUÍDOS | ||
| Banca: |
SIMONE DINIZ JUNQUEIRA BARBOSA - PUC-RIO ARNDT VON STAA - PUC-RIO JULIO CESAR SAMPAIO DO PRADO LEITE - PUC-RIO |
||
| Vocabulário: | ANALISE ESTATICA FERRAMENTAS DE SOFTWARE NOTACAO QUALIDADE SEMANTICA VERIFICACAO |
||
| Apresentação: | 04/ABR/2013 | ||
| Aceitação: | 04/ABR/2013 | ||
| Sistema de Biblioteca: | PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO-SISTEMA PERGAMUM | ||
| Número de Chamada: | 004 A555 | ||