%0 Journal Article
%T Especifica  o e Verifica  o Formal de um modelo de STI-PBL por Redes de Petri Coloridas
%A Eliane Santiago Ramos
%A Jos¨¦ M. Parente de Oliveira
%J Revista Brasileira de Inform¨¢tica na Educa£¿£¿o
%D 2010
%I Comiss?o Especial de Inform¨¢tica na Educa??o
%X 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.
%K sistemas tutores inteligentes
%K aprendizagem baseada em problemas
%K Redes de Petri Coloridas
%U http://www.br-ie.org/pub/index.php/rbie/article/view/1026