Exportar registro bibliográfico

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

  • Authors:
  • Autor USP: MIOTTO, ALINE MARIA MALACHINI - ICMC
  • Unidade: ICMC
  • Sigla do Departamento: SCE
  • Subjects: MULTIMÍDIA (SISTEMAS COMPUTACIONAIS;ESPECIFICAÇÃO); HIPERTEXTO (SISTEMAS COMPUTACIONAIS;ESPECIFICAÇÃO); WORLD WIDE WEB
  • Language: Português
  • Abstract: Uma tendência no projeto de sistemas hipermídia é o desenvolvimento de sistemas que sejam abertos, extensíveis e distribuídos entre diferentes usuários. Na última década vários sistemas hipermídia 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 dinâmicas dessas aplicações. Este projeto de mestrado tem como objetivo verificar a adequação do modelo formal XHMBS (eXtensible Hypertext Model Based on Statecharts) em relação à especificação de aplicações em sistemas hipermídia abertos e propor extensões a esse modelo para permitir a especificação de tais aplicações
  • Imprenta:
  • Data da defesa: 23.11.2001

  • How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      MIOTTO, Aline Maria Malachini; FORTES, Renata Pontin de Mattos. Especificação de um modelo formal para aplicações em sistemas hipermídia abertos. 2001.Universidade de São Paulo, São Carlos, 2001.
    • APA

      Miotto, A. M. M., & Fortes, R. P. de M. (2001). Especificação de um modelo formal para aplicações em sistemas hipermídia abertos. Universidade de São Paulo, São Carlos.
    • NLM

      Miotto AMM, Fortes RP de M. Especificação de um modelo formal para aplicações em sistemas hipermídia abertos. 2001 ;
    • Vancouver

      Miotto AMM, Fortes RP de M. Especificação de um modelo formal para aplicações em sistemas hipermídia abertos. 2001 ;

    Últimas obras dos mesmos autores vinculados com a USP cadastradas na BDPI:

    Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2020