Ver código-fonte

== Informações ==

* Projeto de Iniciação Científica
* Título: Implementação de uma Estratégia Eficiente para a Lógica C1 em um Provador de Teoremas Multi-Estratégia
* Estudante (bolsista IC UTFPR): [[Emerson Shigueo Sugimoto]].
* Orientador: Professor [[Adolfo Neto]].
* Período: 08/2009 a 07/2010.
* Grupo de Pesquisa: [[Grupo de Pesquisa em Inteligência Computacional]]

== Descrição das Atividades ==

# Levantamento bibliográfico sobre implementações de provadores de teoremas para [[A lógica C1| a lógica C1]]
#* Leituras sobre padrões de projeto utilizados no KEMS
#*# Padrão Strategy
#*#* Livros disponíveis na Biblioteca:
#*#** GAMMA, Erich; JOHNSON, Ralph, 1948-; HELM, Richard; VLISSIDES, John.  Padrões de projeto:  soluções reutilizáveis de software orientado a objetos .  Porto Alegre: Bookman, 2002 364 p. 
#*#** METSKER, Steven John.  Padrões de projeto em Java.  Porto Alegre: Bookman, 2004. 407 p.
#*#** LARMAN, Craig.  Utilizando UML e padrões:  uma introdução à análise e ao projeto orientados a objetos e ao desenvolvimento iterativo.  3. ed. Porto Alegre: Bookman, 2007. 695 p.
#*#** SHALLOWAY, Alan.  Explicando padrões de projeto:  uma nova perspectiva em projeto orientado a objeto.  Porto Alegre: Bookman, 2004. 328 p.
#*#* http://serpeerless.wordpress.com/category/design-patterns/
#*#* http://www.dsc.ufcg.edu.br/~jacques/cursos/1998.2/lp4/material/patterns/pat4.htm
#*#* http://www.lcg.ufrj.br/Cursos/designpatterns/structural.html
#*#* http://en.wikipedia.org/wiki/Strategy_pattern
#*#* http://today.java.net/pub/a/today/2005/04/07/pojostrategy.html
#*#* http://www.c2.com/cgi/wiki?StrategyPattern
# Estudo detalhado do sistema KEMS
# Especificação e Projeto da Estratégia
# Implementação da Estratégia
# Testes
# Escrita do Relatório Final

== Cronograma de Atividades ==

* Período: Mês 1 ao mês 12.



{| class="prettytable"
| <center>ATIVIDADE</center>
| colspan="12" | <center>Mês</center>
|-
|
| <center>1</center>
| <center>2</center>
| <center>3</center>
| <center>4</center>
| <center>5</center>
| <center>6</center>
| <center>7</center>
| <center>8</center>
| <center>9</center>
| <center>10</center>
| <center>11</center>
| <center>12</center>

|-
| <center>1</center>
| X
| X
| 
| 
| 
| 
| 
| 
| 
| 
| 
| 

|-
| <center>2</center>
| 
| X
| X
| 
| 
| 
| 
| 
| 
| 
| 
| 

|-
| <center>3</center>
| 
| 
| X
| X
| 
| 
| 
| 
| 
| 
| 
| 

|-
| <center>4</center>
| 
| 
| 
| X
| X
| X
| X
| X
| X
| X
| 
| 

|-
| <center>5</center>
| 
| 
| 
| X
| X
| X
| X
| X
| X
| X
| 
| 

|-
| <center>6</center>
| 
| 
| 
| 
| 
| 
| 
| 
| 
| 
| X
| X

|-
| 
| 
| 
| 
| 
| 
| 
| 
| 
| 
| 
| 
| 

|-
| 
| 
| 
| 
| 
| 
| 
| 
| 
| 
| 
| 
| 

|-
| 
| 
| 
| 
| 
| 
| 
| 
| 
| 
| 
| 
| 

|}