• DocumentCode
    1532634
  • Title

    Formal framework for hypertext systems

  • Author

    d´Inverno, Mark ; Priestley, M. ; Luck, M.

  • Author_Institution
    Sch. of Comput. Sci., Westminster Univ., London, UK
  • Volume
    144
  • Issue
    3
  • fYear
    1997
  • fDate
    6/1/1997 12:00:00 AM
  • Firstpage
    175
  • Lastpage
    184
  • Abstract
    Hypertext and hypertext systems are seeing a remarkably rapid growth in both use and development. The authors aim to consolidate on previous work by presenting a specification that captures the essential abstractions of hypertext systems. It is argued that this specification provides a framework for hypertext systems in that it provides explicit and unambiguous definitions of hypertext terms, an explicit environment for the presentation, comparison and evaluation of hypertext systems, and a foundation for future research and development in the field
  • Keywords
    formal specification; hypermedia; software selection; abstractions; explicit unambiguous definitions; formal specification; hypertext presentation; hypertext systems; research and development; systems comparison; systems evaluation;
  • fLanguage
    English
  • Journal_Title
    Software Engineering. IEE Proceedings- [see also Software, IEE Proceedings]
  • Publisher
    iet
  • ISSN
    1364-5080
  • Type

    jour

  • DOI
    10.1049/ip-sen:19971395
  • Filename
    621239