Academic Journals Database
Disseminating quality controlled scientific knowledge

Especificação e Verificação Formal de um modelo de STI-PBL por Redes de Petri Coloridas

ADD TO MY LIST
 
Author(s): Eliane Santiago Ramos | José M. Parente de Oliveira

Journal: Revista Brasileira de Informática na Educação
ISSN 1414-5685

Volume: 17;
Issue: 3;
Date: 2010;
Original page

Keywords: sistemas tutores inteligentes | aprendizagem baseada em problemas | Redes de Petri Coloridas

ABSTRACT
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.
Why do you need a reservation system?      Save time & money - Smart Internet Solutions