Implementação de uma Estratégia Eficiente para a Lógica C1 em um Provador de Teoremas Multi-Estratégia
De Wiki DAINF
(Diferença entre revisões)
(→Descrição das Atividades) |
(→Descrição das Atividades) |
||
| Linha 14: | Linha 14: | ||
#*# Padrão Strategy | #*# Padrão Strategy | ||
#*#* http://en.wikipedia.org/wiki/Strategy_pattern | #*#* 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 | # Estudo detalhado do sistema KEMS | ||
# Especificação e Projeto da Estratégia | # Especificação e Projeto da Estratégia | ||
Edição de 11h17min de 7 de agosto de 2009
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 Shigeo Sugimoto.
- Orientador: Professor Adolfo Neto.
- Período: 08/2009 a 07/2010.
Descrição das Atividades
- Levantamento bibliográfico sobre implementações de provadores de teoremas para a lógica C1
- Leituras sobre padrões de projeto utilizados no KEMS
- 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.
| |
| |||||||||||
| |
|
|
|
|
|
|
|
|
|
|
| |
| |
X | X | ||||||||||
| |
X | X | ||||||||||
| |
X | X | ||||||||||
| |
X | X | X | X | X | X | X | |||||
| |
X | X | X | X | X | X | X | |||||
| |
X | X | ||||||||||
