Doutorado (1998)
Universidade de São Paulo (USP)
Instituto de Física de São Carlos (IFSC), São Carlos, SP
Título: "HMBS- Um Modelo Baseado em Statecharts para a Especificação Formal de Hiperdocumentos"
Área: Engenharia de Software e Hipermídia/Multimídia
Período: 1994 a 1998
Orientador: Prof. Dr. Paulo César Masiero
Co-orientadora: Profa. Dra. Maria Cristina F. de Oliveira

Sumário

Lista de Figuras
Lista de Tabelas e Quadros
Resumo
Abstract

1. INTRODUÇÃO

1.1. Considerações Iniciais
1.2. Motivações e Objetivos
1.3. Organização da Tese

2. Modelos Métodos para a Especificação e o Projeto de Hiperdocumentos

2.1. Considerações Iniciais
2.2. Modelos Orientados ao Sistema
2.3. Modelos Estruturais
2.4. Modelos Comportamentais
2.5. Métodos de Projeto
2.6. Considerações Finais

3. STATECHARTS

3.1. Considerações Iniciais
3 .2. Definição
3.3. Descrição Informal
3.4. Especificação Formal
3.5. Considerações Finais

4. HMBS: um modelo baseado em Statecharts

4.1. Considerações Iniciais
4.2. Especificação Formal da Sintaxe
4.3. Especificação Informal
4.4. Semântica de Navegação
4.5. Visões Hierárquicas
4.6. Características do HMBS
4.7. Considerações Finais

5. Análise de especificações HMBS

5.1. Considerações Iniciais
5.2. Análise de Propriedades
5.3. Recursos Adicionais
5.4. Considerações Finais

6. HySCharts: PROTÓTIPO DE UM SISTEMA HIPERDOCUMENTO BASEADO NO HMBS

6.1. Considerações Iniciais
6.2. Suporte Traduzido X Suporte Interpretado
6.3. Arquitetura do Sistema HySCharts
6.4. Considerações Finais

7. ESTUDO DE CASO: UM EXEMPLO DE ESPECIFICAÇÃO NO CONTEXTO Do projeto de hiperdocumentos

7.1. Considerações Iniciais
7.2. Um Exemplo: Descrição
7.3. O Processo de Projeto
7.4. Considerações Finais

8. TRABALHOS RELACIONADOS: uma análise comparativa

8.1. Considerações Iniciais
8.2. Uma Discussão
8.3. As Características de Comparação
8.4. Vantagens e Desvantagens
8.5. XHMBS: Uma Extensão do HMBS
8.6. Considerações Finais

9. Conclusões

9.1. Considerações Iniciais
9.2. Contribuições desta Tese
9.3. Sugestões de Novas Pesquisas

REFERÊNCIAS BIBLIOGRÁFICAS