dc.contributor.author | Jacob, L. | |
dc.contributor.author | Jones, S. | |
dc.date.accessioned | 2010-08-23T13:28:50Z | |
dc.date.available | 2010-08-23T13:28:50Z | |
dc.date.issued | 1994 | |
dc.identifier.citation | Jacob , L & Jones , S 1994 , Formal dialogue specification for hypertext and multimedia systems . UH Computer Science Technical Report , vol. 175 , University of Hertfordshire . | |
dc.identifier.other | dspace: 2299/4800 | |
dc.identifier.uri | http://hdl.handle.net/2299/4800 | |
dc.description.abstract | We discuss issues relating to the use of CSP, a process-based formal notation, in the specification of human-computer dialogue with hypertext and multimedia systems. We illustrate our discussion with a small example and describe how this demonstrates important features of three systems: a simple bibliographic database; a multimedia information system; and a hypermedia exhibition guide. We consider the way in which CSP dialogue specifications can be used in the design and development of such systems and identify some areas for further work. | en |
dc.format.extent | 2367144 | |
dc.language.iso | eng | |
dc.publisher | University of Hertfordshire | |
dc.relation.ispartofseries | UH Computer Science Technical Report | |
dc.title | Formal dialogue specification for hypertext and multimedia systems | en |
dc.contributor.institution | School of Computer Science | |
rioxxterms.type | Other | |
herts.preservation.rarelyaccessed | true | |