Especificação e Verificação Formal de um modelo de STI-PBL por Redes de Petri Coloridas
Texto completo: PDF
Resumo
Apresenta-se neste trabalho uma abordagem de modelagem por Redes de Petri Coloridas para especificação e verificação formal de um modelo de Sistema Tutor Inteligente que utiliza a
Aprendizagem Baseada em Problemas como estratégia pedagógica. A especificação e a verificação formal permitem verificar se as funcionalidades planejadas do modelo pedagógico são realizadas, antes da etapa de implementação do sistema. Experimentos indicam consistência geral e benefícios da proposta.
Palavras-chave
sistemas tutores inteligentes; aprendizagem baseada em problemas; Redes de Petri Coloridas
Este trabalho está licenciado sob uma Licença Creative Commons Attribution 3.0 .