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
Link To Document