Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico.Programa de Pós-Graduação em Ciência da Computação / Made available in DSpace on 2012-10-19T15:44:47Z (GMT). No. of bitstreams: 0Bitstream added on 2014-09-26T02:59:30Z : No. of bitstreams: 1
183066.pdf: 21898799 bytes, checksum: 4d54f61a6811ea3f35ee714d89c114ac (MD5) / Este trabalho visa aplicar métodos formais na Engenharia de Programas Educacionais Hipermídia, unificando as Teorias das Categorias, Autômatos. Para oferecer o suporte necessário à sua compreensão, o trabalho apresenta a evolução do uso das máquinas na Educação, os paradigmas da Ciência Cognitiva e os conceitos de sistemas formais que foram utilizados na modelagem dos sistemas aqui abordados. É apresentado, à luz dos princípios categóricos, um modelo teórico de um sistema Hipermídia como Autômato, denominado Hipertômato. Os modelos hipertômatos foram utilizados na construção de protótipos de ambientes de Ensino-aprendizagem Hipermídia, via redes de computadores, em diferentes domínios do conhecimento.
| Identifer | oai:union.ndltd.org:IBICT/oai:repositorio.ufsc.br:123456789/82514 |
| Date | January 2002 |
| Creators | Almeida, Maria Aparecida Fernandes |
| Contributors | Universidade Federal de Santa Catarina, Barreto, Jorge Muniz |
| Publisher | Florianópolis, SC |
| Source Sets | IBICT Brazilian ETDs |
| Language | Portuguese |
| Detected Language | Portuguese |
| Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/doctoralThesis |
| Format | xvi, 165 f.| il. |
| Source | reponame:Repositório Institucional da UFSC, instname:Universidade Federal de Santa Catarina, instacron:UFSC |
| Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.002 seconds