Links em um Sistema de Hipertexto
Resumo
Este artigo mostra a especificação formal de um Gerenciador de Links para Hipertexto. Tendo este tipo de sistema alto grau de complexidade, a especificação aqui relatada trata apenas de seu fundamento principal, os “links”. Para isto, serão explicados inicialmente os princípios básicos de hipertexto, especificação formal, descrição informal das funções de manipulação de “links” e finalmente a especificação funcional do gerenciador.Referências
Jeff Conklin, A Survey of Hypertext, MCC TR, Nr. STP-356-86, Rev 1, Austin, TX, Feb 1987.
P. J. Brown, Hypertext : The Way Forward, University of Kent, Canterbury, 1987.
L. Nancy Garrett, Karen E. Smith and Norman Meyrowitz, Intermedia: Issues, Strategies and Tactics in the Design of a Hypermedia Document System, IRIS, Brown University.
Norman Delisie and Mayer Schwartz, Neptune: A Hypertext System for CAD Applications, ACM, 1986, pp 132-130.
C. B. Jones, Systematic Software Development Using the VDM Approach, Prentice-Hall Intl.,1986.
G. J. Steele, An Overview of Common Lisp, Proc. of the ACM Symp. on Lisp and Func. Prog., pp 98-107, 1982.
P. Henderson, metoo - A Language for Software Specification and Model-Building-Preliminary Report, Univ. Stirling, Dec. 1984.
A. M. L. Vasconcelos, A. C. V. Melo, E. S. Albuquerque e S. R. L. Meira, Links em um Sistema de Hipertexto - RT-DI-UFPE-013/88, Dep. de Informática, UFPE, 50739, Recife, PE, 1988.
S. R. L. Meira, Programação Funcional, V JAI, VI Congresso da SBC, Recife-Olinda, PE, Jul 1986.
S. R. L. Meira, Engenharia de Software, Especificações Formais e Programação Funcional, RT-DI-001/88, Dep. de Informática, UFPE, 50739, Recife, PE, 1988.
F. M. Martins, Especificação Formal e Prototipificação de Software - A METODOLOGIA METOO, CCES-FM:R1/86, Univ. do Minho, Braga, Portugal, Mar 1986.
I. Hayes, Specification Case Studies, Prentice Hall Intl., UK, 1987.
A. Goldberg and D. Robson, Smalltalk 20: The Language und its Implementation, Addison Wesley, 1983.
P. J. Brown, Hypertext : The Way Forward, University of Kent, Canterbury, 1987.
L. Nancy Garrett, Karen E. Smith and Norman Meyrowitz, Intermedia: Issues, Strategies and Tactics in the Design of a Hypermedia Document System, IRIS, Brown University.
Norman Delisie and Mayer Schwartz, Neptune: A Hypertext System for CAD Applications, ACM, 1986, pp 132-130.
C. B. Jones, Systematic Software Development Using the VDM Approach, Prentice-Hall Intl.,1986.
G. J. Steele, An Overview of Common Lisp, Proc. of the ACM Symp. on Lisp and Func. Prog., pp 98-107, 1982.
P. Henderson, metoo - A Language for Software Specification and Model-Building-Preliminary Report, Univ. Stirling, Dec. 1984.
A. M. L. Vasconcelos, A. C. V. Melo, E. S. Albuquerque e S. R. L. Meira, Links em um Sistema de Hipertexto - RT-DI-UFPE-013/88, Dep. de Informática, UFPE, 50739, Recife, PE, 1988.
S. R. L. Meira, Programação Funcional, V JAI, VI Congresso da SBC, Recife-Olinda, PE, Jul 1986.
S. R. L. Meira, Engenharia de Software, Especificações Formais e Programação Funcional, RT-DI-001/88, Dep. de Informática, UFPE, 50739, Recife, PE, 1988.
F. M. Martins, Especificação Formal e Prototipificação de Software - A METODOLOGIA METOO, CCES-FM:R1/86, Univ. do Minho, Braga, Portugal, Mar 1986.
I. Hayes, Specification Case Studies, Prentice Hall Intl., UK, 1987.
A. Goldberg and D. Robson, Smalltalk 20: The Language und its Implementation, Addison Wesley, 1983.
Publicado
27/10/1988
Como Citar
VASCONCELOS, Alexandre M. L. de; MELO, Ana Cristina V. de; MEIRA, Silvio Lemos.
Links em um Sistema de Hipertexto. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE (SBES), 2. , 1988, Canela/RS.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
1988
.
p. 75-85.
DOI: https://doi.org/10.5753/sbes.1988.24246.
