ETDs @PUC-Rio
| Título: | ANÁLISE FORMAL DE MODELOS DE SOFTWARE ORIENTADA POR ABSTRAÇÕES ARQUITETURAIS | ||
| Autor(es): |
MARCELO FAGUNDES FELIX |
||
| Orientador (es) : |
EDWARD HERMANN HAEUSLER |
||
| Instituição: | PUC-RIO - PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO | ||
| Programa: | PPG EM INFORMÁTICA | ||
| Área: | PROGRAMAÇÃO E TEORIA DA COMPUTAÇÃO | ||
| Banca: |
LUIZ FERNANDO GOMES SOARES - PUC-RIO CHRISTIANO DE OLIVEIRA BRAGA - UFF EDWARD HERMANN HAEUSLER - PUC-RIO CARLOS JOSE PEREIRA DE LUCENA - PUC-RIO JULIO CESAR SAMPAIO DO PRADO LEITE - PUC-RIO ANAMARIA MARTINS MOREIRA - UFRN ALEX DE VASCONCELLOS GARCIA - IME |
||
| Vocabulário: | ANALISE FORMAL ARQUITETURA DE SOFTWARE METODO FORMAL MODELAGEM SISTEMAS CONCORRENTES |
||
| Apresentação: | 06/ABR/2004 | ||
| Aceitação: | 06/ABR/2004 | ||
| Sistema de Biblioteca: | PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO-SISTEMA PERGAMUM | ||
| Número de Chamada: | 004 F316a | ||