Uma Técnica Formal Para Avaliação Automática e Geração de Feedback no Contexto da Educação Digital

Detalhes bibliográficos
Autor(a) principal: ROMARIO LIRA BATISTA
Data de Publicação: 2020
Tipo de documento: Dissertação
Título da fonte: Portal de Dados Abertos da CAPES
Texto Completo: https://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=10124446
id BRCRIS_029b8fdfa7cbcd593cc649eb3b49bc71
network_acronym_str CAPES
network_name_str Portal de Dados Abertos da CAPES
dc.title.pt-BR.fl_str_mv Uma Técnica Formal Para Avaliação Automática e Geração de Feedback no Contexto da Educação Digital
title Uma Técnica Formal Para Avaliação Automática e Geração de Feedback no Contexto da Educação Digital
spellingShingle Uma Técnica Formal Para Avaliação Automática e Geração de Feedback no Contexto da Educação Digital
Métodos Formais
Formal Methods
ROMARIO LIRA BATISTA
title_short Uma Técnica Formal Para Avaliação Automática e Geração de Feedback no Contexto da Educação Digital
title_full Uma Técnica Formal Para Avaliação Automática e Geração de Feedback no Contexto da Educação Digital
title_fullStr Uma Técnica Formal Para Avaliação Automática e Geração de Feedback no Contexto da Educação Digital
Uma Técnica Formal Para Avaliação Automática e Geração de Feedback no Contexto da Educação Digital
title_full_unstemmed Uma Técnica Formal Para Avaliação Automática e Geração de Feedback no Contexto da Educação Digital
Uma Técnica Formal Para Avaliação Automática e Geração de Feedback no Contexto da Educação Digital
title_sort Uma Técnica Formal Para Avaliação Automática e Geração de Feedback no Contexto da Educação Digital
topic Métodos Formais
Formal Methods
publishDate 2020
format masterThesis
url https://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=10124446
author_role author
author ROMARIO LIRA BATISTA
author_facet ROMARIO LIRA BATISTA
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/1419623941608251
dc.contributor.advisor1.fl_str_mv EDUARDO FREIRE NAKAMURA
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/1448696292042915
dc.contributor.advisor1orcid.por.fl_str_mv https://orcid.org/0000-0001-8494-4225
dc.publisher.none.fl_str_mv UNIVERSIDADE FEDERAL DO AMAZONAS
publisher.none.fl_str_mv UNIVERSIDADE FEDERAL DO AMAZONAS
instname_str UNIVERSIDADE FEDERAL DO AMAZONAS
dc.publisher.program.fl_str_mv INFORMÁTICA
dc.description.course.none.fl_txt_mv INFORMÁTICA
reponame_str Portal de Dados Abertos da CAPES
collection Portal de Dados Abertos da CAPES
spelling CAPESPortal de Dados Abertos da CAPESUma Técnica Formal Para Avaliação Automática e Geração de Feedback no Contexto da Educação DigitalUma Técnica Formal Para Avaliação Automática e Geração de Feedback no Contexto da Educação DigitalUma Técnica Formal Para Avaliação Automática e Geração de Feedback no Contexto da Educação DigitalUma Técnica Formal Para Avaliação Automática e Geração de Feedback no Contexto da Educação DigitalUma Técnica Formal Para Avaliação Automática e Geração de Feedback no Contexto da Educação DigitalUma Técnica Formal Para Avaliação Automática e Geração de Feedback no Contexto da Educação DigitalUma Técnica Formal Para Avaliação Automática e Geração de Feedback no Contexto da Educação DigitalMétodos Formais2020masterThesishttps://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=10124446authorROMARIO LIRA BATISTAhttp://lattes.cnpq.br/1419623941608251EDUARDO FREIRE NAKAMURAhttp://lattes.cnpq.br/1448696292042915https://orcid.org/0000-0001-8494-4225UNIVERSIDADE FEDERAL DO AMAZONASUNIVERSIDADE FEDERAL DO AMAZONASUNIVERSIDADE FEDERAL DO AMAZONASINFORMÁTICAINFORMÁTICAPortal de Dados Abertos da CAPESPortal de Dados Abertos da CAPES
identifier_str_mv BATISTA, ROMARIO LIRA. Uma Técnica Formal Para Avaliação Automática e Geração de Feedback no Contexto da Educação Digital. 2020. Tese.
dc.identifier.citation.fl_str_mv BATISTA, ROMARIO LIRA. Uma Técnica Formal Para Avaliação Automática e Geração de Feedback no Contexto da Educação Digital. 2020. Tese.
_version_ 1741884479437275136