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...

Full description

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Palanque, Philippe, 1966-, Paternò, Fabio, 1960-
Format:	eBook
Language:	English
Published:	London ; New York : Springer, [1998]
Series:	Formal approaches to computing and information technology.
Subjects:	Human-computer interaction. Formal methods (Computer science) Processamento grafico (graphics) Interaction homme-ordinateur. Interfaces utilisateur (informatique) Algebraische Spezifikation. Aufsatzsammlung. Benutzeroberfläche. Formale Spezifikationstechnik. Mensch-Maschine-Kommunikation. World Wide Web. Electronic books.
Online Access:	Connect to the full text of this electronic book

Table of Contents:

Specifying History and Backtracking Mechanisms
How to Model a Web
Software Architecture Modelling
Consistency and Reuse of Links in World Wide Web Applications
MASTERMIND User Interface Generation Project
The Web and Distributed Systems
Interaction Object Graphs
Modelling Clients and Servers on the Web
Development of a WWW Browser Using TADEUS
Algebraic Specification of a WWW Application Using GRALPLA
TLIM Analysis of the Web
Unpredictability of Information Retrieval over the WWW
Formal Models and Empirical Evaluation
Component-Based Approach Applied to a Netscape-Like Browser
Specifying a Web Browser Interface Using Object-Z
Index.