Please use this identifier to cite or link to this item:
Full metadata record
DC FieldValueLanguage
dc.contributor.authorAlexander, Heather-
dc.description.abstractWith ever cheaper and more powerful technology. the proliferation of computer systems, and higher expectations of their users, the user interface is now seen as a crucial part of any interactive system. As the designers and users of interactive software have found, though, it can be both difficult and costly to create good interactive software. It is therefore appropriate to look at ways of "engineering" the interface as well as the application. which we choose to do by using the software engineering techniques of specification and prototyping. Formally specifying the user interface allows the designer to reason about its properties in the light of the many guidelines on the subject. Early availability of prototypes of the user interface allows the designer to experiment with alternative options and to elicit feedback from potential users. This thesis presents tools and techniques (collectively called SPI for specifying and prototyping the dialogues between an interactive system and its users. They are based on a formal specification and rapid prototyping method and notation called me too. and were originally designed as an extension to me too. They have also been implemented under UNIX*. thus enabling a transition from the formal specification to its implementation. *UNIX is a trademark of AT&T Bell Laboratoriesen_GB
dc.publisherUniversity of Stirlingen_GB
dc.rightsThe author has given verbal permission for the digital version of this thesis to be made publicly available in this repository and in the British Library EThOS service ( The thesis, with minor changes, was also published as a book (now out of print): Formally-based tools and techniques for human-computer dialogues. By Alexander, Heather. Chichester : Ellis Horwood, 1987. ISBN: 0-7458-0298-2. Ellis Horwood is an imprint of Pearson Education. Pearson Education have informed us that since the contract for the book of the same title pre-dates any mention of electronic rights, the author's permission alone is sufficient to allow the digitisation and hosting of this thesis in this repository.en_GB
dc.subject.lcshQuestion-answering systemsen_GB
dc.subject.lcshInteractive computer systemsen_GB
dc.titleFormally-based tools and techniques for human-computer dialoguesen_GB
dc.typeThesis or Dissertationen_GB
dc.type.qualificationnameDoctor of Philosophyen_GB
Appears in Collections:eTheses from Faculty of Natural Sciences legacy departments

Files in This Item:
File Description SizeFormat 
AlexanderHeatherThesis1986.pdf7.45 MBAdobe PDFView/Open

This item is protected by original copyright

Items in the Repository are protected by copyright, with all rights reserved, unless otherwise indicated.

The metadata of the records in the Repository are available under the CC0 public domain dedication: No Rights Reserved

If you believe that any material held in STORRE infringes copyright, please contact providing details and we will remove the Work from public display in STORRE and investigate your claim.