Especificação de um modelo formal para aplicações em sistemas hipermídia abertos (2001)
- Authors:
- USP affiliated author: MIOTTO, ALINE MARIA MALACHINI - ICMC
- School: 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:
- Place of publication: São Carlos
- Date published: 2001
- Data da defesa: 23.11.2001
-
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 ;
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas