Sobre este site
Estas páginas são dedicadas ao meu TCC, que está orientado pela prof. Renata Wassermann com a ajuda de Paulo de Tarso.
Um breve resumo
O trabalho é baseado na tese de mestrado do Paulo e tem como objetivo implementar o algoritmo de revisão de modelos CTL descrito por ele, usando o framework desenvolvido sob supervisão da prof.ª Renata como base.
Guia de páginas
No menu ao lado, estão os links para as páginas contendo o trabalho em si. São elas:
- Log Files - Que contém o log requisitado pela disciplina. Este será dividido em 4 partes, porém elas serão incrementais em relação às anteriores, ou seja, elas continuam a partir do ponto em que a última parou.
- Monografia - Onde será postado os links para o download da mesma.
- Pôster - Onde se encontrará o pôster feito para a apresentação oral da monografia.
- Proposta - Que contém uma introdução ao tema do trabalho, assim como informações sobre datas e orientadores.
- Referências - Que contém as referêias usadas no trabalho.
