Research Online


Goldsmiths - University of London

A Formal Framework for Hypertext Systems

d'Inverno, Mark; Priestley, Mark and Luck, Michael. 1997. A Formal Framework for Hypertext Systems. Software Engineering. IEE Proceedings, 144(3), pp. 175-184. ISSN 1364-5080 [Article]

Text ( A Formal Framework for Hypertext Systems)
A Formal Framework for Hypertext Systems.pdf

Download (151kB) | Preview

Abstract or Description

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

Item Type:


Identification Number (DOI):

Departments, Centres and Research Units:




Item ID:


Date Deposited:

19 Sep 2013 14:55

Last Modified:

09 Jul 2018 16:06

Peer Reviewed:

Yes, this version has been peer-reviewed.


View statistics for this item...

Edit Record Edit Record (login required)