Provas Formais
Mostrando 13-17 de 17 artigos, teses e dissertações.
-
13. ArcAngel: a Tactic Language For Refinement and its Tool Support / ArcAngel: a Tactic Language For Refinement and its Tool Support
O cÃlculo de refinamentos à uma tÃcnica moderna para o desenvolvimento e implementaÃÃo de programas de uma maneira precisa, completa e consistente. A partir de uma especificaÃÃo formal, nÃs produzimos um programa que implementa corretamente a especificaÃÃo atravÃs de repetidas aplicaÃÃes de regras de transformaÃÃo, tambÃm chamadas de leis de
Publicado em: 2002
-
14. Analise funcional discriminativa em dislexia do desenvolvimento
Esta tese teve por objetivos avaliar e analisar através de provas neuropsicológicas, pedagógicas e exames complementares, crianças com possível diagnóstico de Dislexia do Desenvolvimento. Participaram como sujeitos 47 crianças, sendo 27 controles (sem dificuldades de aprendizagem) e 20 experimentais, com idade entre 8 e 13 anos, alunos de 23 série do
Publicado em: 2001
-
15. Grafos de sequencias de DNA
Este trabalho está relacionado à Biologia Computacional, uma área da Ciência da Computação cuja existência é motivada pela busca de métodos computacionais que resolvam ou ajudem a resolver problemas de origem biológica. Esta ciência tem sido largamente utilizada no âmbito da genética, contribuindo essencialmente no seqüenciamento de cadeias de
Publicado em: 2000
-
16. Os pais e a vida escolar dos filhos
Este trabalho procura esclarecer a natureza das relações entre a família e a escola com vistas a desvendar melhor uma das mais importantes dimensões do processo avaliativo que compreende três áreas: avaliação instrucional (instrumentos formais como provas), avaliação disciplinar (comportamento) e avaliação valorativa (atitudes e valores expressos
Publicado em: 2000
-
17. O metodo de dedução natural aplicado as logicas proposicionais paraconsistentes Cn
A aplicação do método de dedução natural, via o método de provas subordinadas, nas lógicas proposicionais paraconsistentes Cn (1
Publicado em: 1998