Formal methods in human-computer interaction
Formal methods have already been shown to improve the development process and quality assurance in system design and implementation. This volume examines whether these benefits also apply to the field of human-computer interface design and implementation, and whether formal methods can offer useful support in usability evaluation and obtaining more reliable implementations of user requirements. Its main aim is to compare the different approaches and examine which particular type of implementation and problem each one is best suited to. To enable the reader to compare and contrast the approaches as easily as possible, each one is applied to the same case study: the specification of an ideal Netscape-like web browser and html page server. The resulting volume will provide invaluable reading for final year undergraduate and postgraduate courses on user interfaces, user interface design, and applications of formal methods.
What people are saying - Write a review
We haven't found any reviews in the usual places.
How to Model a Web Without Getting Tangled in Nets
Bridging Two Worlds
A Formal Approach to Consistency and Reuse of Links
15 other sections not shown
Other editions - View all
abstract actions active agent allows application approach behaviour bookmarks browser button client Cognitive Walkthrough command components corresponding defined described Dialogue Controller Dialogue graph Dialogue Model dialogue view display document evaluation example execution express formal methods formal model graphical graphical user interfaces history list history mechanism HyperCard hyperdocument hypertext identify implementation input instance interaction techniques interactive system interactor language MASTERMIND menu meta-state navigation Netscape node notation Object-Z objects operation output PAC-Amodeus Palanque parameters performed Petri nets possible predicate presentation programming properties represent representation request retrieval reuse selected semantics sequence server shown in Figure software architecture software architecture model specification structure syntactic TADEUS task model temporal logic TextField tokens tool toolkit transition transition relation usability user interface developers variables Web browser webClient webServer widget window World Wide Web