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

dc.creator	Eliane Santiago Ramos
dc.creator	José M. Parente de Oliveira
dc.date	2010-01-01T00:00:00Z
dc.date.accessioned	2015-07-20T22:06:14Z
dc.date.available	2015-07-20T22:06:14Z
dc.identifier	1414-5685
dc.identifier	https://doaj.org/article/fa25de76a9294a69a3f7a1e776a7d617
dc.identifier.uri	http://evidence.thinkportal.org/handle/123456789/10361
dc.description	<!--[if gte mso 9]><xml> <w:WordDocument> <w:View>Normal</w:View> <w:Zoom>0</w:Zoom> <w:HyphenationZone>21</w:HyphenationZone> <w:PunctuationKerning /> <w:ValidateAgainstSchemas /> <w:SaveIfXMLInvalid>false</w:SaveIfXMLInvalid> <w:IgnoreMixedContent>false</w:IgnoreMixedContent> <w:AlwaysShowPlaceholderText>false</w:AlwaysShowPlaceholderText> <w:Compatibility> <w:BreakWrappedTables /> <w:SnapToGridInCell /> <w:WrapTextWithPunct /> <w:UseAsianBreakRules /> <w:DontGrowAutofit /> </w:Compatibility> </w:WordDocument> </xml><![endif]--><!--[if gte mso 9]><xml> <w:LatentStyles DefLockedState="false" LatentStyleCount="156"> </w:LatentStyles> </xml><![endif]--> <!-- /* Font Definitions / @font-face {font-family:"Tms Rmn"; panose-1:2 2 6 3 4 5 5 2 3 4; mso-font-alt:"Times New Roman"; mso-font-charset:0; mso-generic-font-family:roman; mso-font-format:other; mso-font-pitch:variable; mso-font-signature:3 0 0 0 1 0;} @font-face {font-family:Times; panose-1:2 2 6 3 5 4 5 2 3 4; mso-font-charset:0; mso-generic-font-family:roman; mso-font-pitch:variable; mso-font-signature:536902279 -2147483648 8 0 511 0;} / Style Definitions / p.MsoNormal, li.MsoNormal, div.MsoNormal {mso-style-parent:""; margin:0pt; margin-bottom:.0001pt; mso-pagination:widow-orphan; font-size:10.0pt; font-family:"Tms Rmn"; mso-fareast-font-family:"Times New Roman"; mso-bidi-font-family:"Times New Roman"; mso-ansi-language:EN-US;} p.Abstract, li.Abstract, div.Abstract {mso-style-name:Abstract; margin-top:2.0pt; margin-right:19.85pt; margin-bottom:19.85pt; margin-left:0pt; text-align:justify; line-height:11.0pt; mso-pagination:widow-orphan; tab-stops:0pt 28.35pt 42.55pt 56.7pt 70.9pt; font-size:10.0pt; font-family:Times; mso-fareast-font-family:"Times New Roman"; mso-bidi-font-family:"Times New Roman"; mso-ansi-language:EN-US; font-style:italic; mso-bidi-font-style:normal;} @page Section1 {size:612.0pt 792.0pt; margin:70.85pt 85.05pt 70.85pt 85.05pt; mso-header-margin:36.0pt; mso-footer-margin:36.0pt; mso-paper-source:0;} div.Section1 {page:Section1;} --> <!--[if gte mso 10]> <style> / Style Definitions */ table.MsoNormalTable {mso-style-name:"Tabela normal"; mso-tstyle-rowband-size:0; mso-tstyle-colband-size:0; mso-style-noshow:yes; mso-style-parent:""; mso-padding-alt:0pt 5.4pt 0pt 5.4pt; mso-para-margin:0pt; mso-para-margin-bottom:.0001pt; mso-pagination:widow-orphan; font-size:10.0pt; font-family:"Times New Roman"; mso-ansi-language:#0400; mso-fareast-language:#0400; mso-bidi-language:#0400;} </style> <![endif]--> <p class="Abstract"><span>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 <br /> 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.</span><strong></strong></p>
dc.language	Portuguese
dc.relation	http://www.br-ie.org/pub/index.php/rbie/article/view/1026
dc.relation	https://doaj.org/toc/1414-5685
dc.rights	CC BY-NC-SA
dc.source	Revista Brasileira de Informática na Educação , Vol 17, Iss 3 (2010)
dc.subject	sistemas tutores inteligentes
dc.subject	aprendizagem baseada em problemas
dc.subject	Redes de Petri Coloridas
dc.subject	Special aspects of education
dc.subject	LC8-6691
dc.subject	Education
dc.subject	L
dc.subject	DOAJ:Education
dc.subject	DOAJ:Social Sciences
dc.subject	Special aspects of education
dc.subject	LC8-6691
dc.subject	Education
dc.subject	L
dc.subject	DOAJ:Education
dc.subject	DOAJ:Social Sciences
dc.subject	Special aspects of education
dc.subject	LC8-6691
dc.subject	Education
dc.subject	L
dc.subject	Special aspects of education
dc.subject	LC8-6691
dc.subject	Education
dc.subject	L
dc.subject	Special aspects of education
dc.subject	LC8-6691
dc.subject	Education
dc.subject	L
dc.title	Especificação e Verificação Formal de um modelo de STI-PBL por Redes de Petri Coloridas
dc.type	article