Implementação de Revisão de Modelos CTL

 

Monografia

A monografia está disponível aqui. Atualmente se encontra no estágio inicial e, portanto, não está bem estruturada ou redigida.

Apreciação Pessoal

Fazer o Trabalho de Conclusão de Curso foi, apesar do grande esforço exigido, extremamente gratificante em vários sentidos. Aprendi muito sobre revisão de crenças, lógicas temporais e vários outros assuntos.

Infelizmente, como havia uma gama muito vasta de assuntos a serem estudados com calma, a implementação não chegou ao ponto em que se esperava. Porém, como realmente gostei do assunto, pretendo não só terminar as partes que faltaram, como também dar alguma continuidade ao projeto, como descrito na seção de trabalhos futuros da monografia.

Sobre Mim
greedyt

Duilio Felix Oliveira da Silva


4º ano em Bacharelado em Ciências da Computação - IME, USP

Administrador da Rede Linux

Contato: duiliofelix@gmail.com