WEBLAB : um ambiente de laboratórios de acesso remoto educacional

Detalhes bibliográficos
Ano de defesa: 2011
Autor(a) principal: Fretz Sievers Junior
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de documento: Tese
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Instituto Tecnológico de Aeronáutica
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Arquitetura de software
Laboratórios
Internet
Ensino à distância
Verificação formal
Testes de programa
Engenharia de software
Educação
Link de acesso: http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=1941
Resumo: Este trabalho apresenta um ambiente de laboratório de acesso remoto, denominado WebLab, cujo objetivo principal é possibilitar a realização e controle em tempo real de experimentos, usando como meio a internet. Esse ambiente, que foi testado e validado em aplicações ligadas ao ensino de física, pode ser utilizado com as devidas adaptações, em qualquer área do conhecimento. Do ponto de vista da Engenharia da Computação, a verificação formal da arquitetura do WebLab foi realizada usando uma abordagem de redes de Petri Colorida. As especificações e verificações formais do ambiente baseadas nessas redes, permitiram constatar que as funcionalidades planejadas do modelo pedagógico são realizadas, antes mesmo de sua implementação.
id ITA_c46e0297fa4af4ac31e55239eea4cbce
oai_identifier_str oai:agregador.ibict.br.BDTD_ITA:oai:ita.br:1941
network_acronym_str ITA
network_name_str Biblioteca Digital de Teses e Dissertações do ITA
spelling WEBLAB : um ambiente de laboratórios de acesso remoto educacionalArquitetura de softwareLaboratóriosInternetEnsino à distânciaVerificação formalTestes de programaEngenharia de softwareEducaçãoEste trabalho apresenta um ambiente de laboratório de acesso remoto, denominado WebLab, cujo objetivo principal é possibilitar a realização e controle em tempo real de experimentos, usando como meio a internet. Esse ambiente, que foi testado e validado em aplicações ligadas ao ensino de física, pode ser utilizado com as devidas adaptações, em qualquer área do conhecimento. Do ponto de vista da Engenharia da Computação, a verificação formal da arquitetura do WebLab foi realizada usando uma abordagem de redes de Petri Colorida. As especificações e verificações formais do ambiente baseadas nessas redes, permitiram constatar que as funcionalidades planejadas do modelo pedagógico são realizadas, antes mesmo de sua implementação.Instituto Tecnológico de AeronáuticaJosé Maria Parente de OliveiraJosé Silvério Edmundo GermanoFretz Sievers Junior2011-07-15info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesishttp://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=1941reponame:Biblioteca Digital de Teses e Dissertações do ITAinstname:Instituto Tecnológico de Aeronáuticainstacron:ITAporinfo:eu-repo/semantics/openAccessapplication/pdf2019-02-02T14:03:45Zoai:agregador.ibict.br.BDTD_ITA:oai:ita.br:1941http://oai.bdtd.ibict.br/requestopendoar:null2020-05-28 19:37:42.525Biblioteca Digital de Teses e Dissertações do ITA - Instituto Tecnológico de Aeronáuticatrue
dc.title.none.fl_str_mv WEBLAB : um ambiente de laboratórios de acesso remoto educacional
title WEBLAB : um ambiente de laboratórios de acesso remoto educacional
spellingShingle WEBLAB : um ambiente de laboratórios de acesso remoto educacional
Fretz Sievers Junior
Arquitetura de software
Laboratórios
Internet
Ensino à distância
Verificação formal
Testes de programa
Engenharia de software
Educação
title_short WEBLAB : um ambiente de laboratórios de acesso remoto educacional
title_full WEBLAB : um ambiente de laboratórios de acesso remoto educacional
title_fullStr WEBLAB : um ambiente de laboratórios de acesso remoto educacional
title_full_unstemmed WEBLAB : um ambiente de laboratórios de acesso remoto educacional
title_sort WEBLAB : um ambiente de laboratórios de acesso remoto educacional
author Fretz Sievers Junior
author_facet Fretz Sievers Junior
author_role author
dc.contributor.none.fl_str_mv José Maria Parente de Oliveira
José Silvério Edmundo Germano
dc.contributor.author.fl_str_mv Fretz Sievers Junior
dc.subject.por.fl_str_mv Arquitetura de software
Laboratórios
Internet
Ensino à distância
Verificação formal
Testes de programa
Engenharia de software
Educação
topic Arquitetura de software
Laboratórios
Internet
Ensino à distância
Verificação formal
Testes de programa
Engenharia de software
Educação
dc.description.none.fl_txt_mv Este trabalho apresenta um ambiente de laboratório de acesso remoto, denominado WebLab, cujo objetivo principal é possibilitar a realização e controle em tempo real de experimentos, usando como meio a internet. Esse ambiente, que foi testado e validado em aplicações ligadas ao ensino de física, pode ser utilizado com as devidas adaptações, em qualquer área do conhecimento. Do ponto de vista da Engenharia da Computação, a verificação formal da arquitetura do WebLab foi realizada usando uma abordagem de redes de Petri Colorida. As especificações e verificações formais do ambiente baseadas nessas redes, permitiram constatar que as funcionalidades planejadas do modelo pedagógico são realizadas, antes mesmo de sua implementação.
description Este trabalho apresenta um ambiente de laboratório de acesso remoto, denominado WebLab, cujo objetivo principal é possibilitar a realização e controle em tempo real de experimentos, usando como meio a internet. Esse ambiente, que foi testado e validado em aplicações ligadas ao ensino de física, pode ser utilizado com as devidas adaptações, em qualquer área do conhecimento. Do ponto de vista da Engenharia da Computação, a verificação formal da arquitetura do WebLab foi realizada usando uma abordagem de redes de Petri Colorida. As especificações e verificações formais do ambiente baseadas nessas redes, permitiram constatar que as funcionalidades planejadas do modelo pedagógico são realizadas, antes mesmo de sua implementação.
publishDate 2011
dc.date.none.fl_str_mv 2011-07-15
dc.type.driver.fl_str_mv info:eu-repo/semantics/publishedVersion
info:eu-repo/semantics/doctoralThesis
status_str publishedVersion
format doctoralThesis
dc.identifier.uri.fl_str_mv http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=1941
url http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=1941
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Instituto Tecnológico de Aeronáutica
publisher.none.fl_str_mv Instituto Tecnológico de Aeronáutica
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações do ITA
instname:Instituto Tecnológico de Aeronáutica
instacron:ITA
reponame_str Biblioteca Digital de Teses e Dissertações do ITA
collection Biblioteca Digital de Teses e Dissertações do ITA
instname_str Instituto Tecnológico de Aeronáutica
instacron_str ITA
institution ITA
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações do ITA - Instituto Tecnológico de Aeronáutica
repository.mail.fl_str_mv
subject_por_txtF_mv Arquitetura de software
Laboratórios
Internet
Ensino à distância
Verificação formal
Testes de programa
Engenharia de software
Educação
_version_ 1706804996806279168

Registros relacionados