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.