skip to main content
Idioma:
Tipo de recurso Mostra resultados com: Mostra resultados com: Índice

Especificação de um modelo formal para aplicações em sistemas hipermídia abertos

Miotto, Aline Maria Malachini

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2001-11-23

Acesso online. A biblioteca também possui exemplares impressos.

  • Título:
    Especificação de um modelo formal para aplicações em sistemas hipermídia abertos
  • Autor: Miotto, Aline Maria Malachini
  • Orientador: Fortes, Renata Pontin de Mattos
  • Assuntos: Not Available; Not Availabe
  • Notas: Dissertação (Mestrado)
  • Notas Locais: impresso
  • Descrição: UMA tendência no projeto de sistemas hipemiidia é o desenvolvimento de sistemas que sejam abertos, extensíveis e distribuídos entre diferentes usuários. Na última década vários sistemas hipermidia abertos foram apresentados na literatura. Nesse contexto, técnicas formais consistem de ferramentas muito úteis para especificação de aplicações hipermídia (e por conseguinte, de aplicações em sistemas hipermídia abertos) por possibilitar que determinada solução especificada seja precisa, não ambígua, independente de sua implementação e reutilizável. Além disso, modelos formais adequados podem oferecer abordagens sistemáticas e confiáveis para a análise e verificação de propriedades estruturais e dinâmicas dessas aplicações. Este projeto de mestrado tem como objetivo verificar a adequação do modelo formal XHMBS (eXtended Hypertext Model Based ou Statecharts) em relação à especificação de aplicações em sistemas hiperrnídia abertos e propor extensões a esse modelo para permitir a especificação de tais aplicações.
  • DOI: 10.11606/D.55.2018.tde-18012018-170700
  • Editor: Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação
  • Data de criação/publicação: 2001-11-23
  • Formato: Adobe PDF
  • Idioma: Português
Links
Voltar para lista de resultados
Ir para página anteriorAnterior Resultado  10 AvançarIr para próxima página

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.