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