ETDs @PUC-Rio
| Título: | A MECHANISM BASED ON LOGS WITH META-INFORMATION FOR THE VERIFICATION OF CONTRACTS IN DISTRIBUTED SYSTEMS | ||
| Autor(es): |
PEDRO DE GOES CARNAVAL ROCHA |
||
| Orientador (es) : |
ARNDT VON STAA |
||
| Instituição: | PUC-RIO - PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO | ||
| Programa: | GRADUATE PROGRAM IN COMPUTER SCIENCE | ||
| Área: | SOFTWARE ENGINEERING | ||
| Banca: |
NOEMI DE LA ROCQUE RODRIGUEZ - PUC-RIO ARNDT VON STAA - PUC-RIO ALESSANDRO FABRICIO GARCIA - PUC-RIO |
||
| Vocabulário: | DISTRIBUTED SYSTEMS FAULT DETECTION SOFTWARE ENGINEERING SOFTWARE QUALITY |
||
| Apresentação: | 21/AGO/2014 | ||
| Aceitação: | 21/AGO/2014 | ||
| Sistema de Biblioteca: | PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO-SISTEMA PERGAMUM | ||
| Número de Chamada: | 004 R672me | ||