Title :
Formal framework for hypertext systems
Author :
d´Inverno, Mark ; Priestley, M. ; Luck, M.
Author_Institution :
Sch. of Comput. Sci., Westminster Univ., London, UK
fDate :
6/1/1997 12:00:00 AM
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;
Journal_Title :
Software Engineering. IEE Proceedings- [see also Software, IEE Proceedings]
DOI :
10.1049/ip-sen:19971395