Formal Methods for Interactive Systems

Name: Formal Methods for Interactive Systems
Price: 15.07 USD
Availability: InStock
ISBN: 9780122183157

ISBN-10: 0122183150

ISBN-13: 9780122183157

Edition: 1991

Authors: Alan Dix

List price: $73.00

30 day, 100% satisfaction guarantee!

Marketplace

1 new & used from $15.07

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

Description:

This essential book addresses the problems governing the usability of computer interfaces. These problems are approached from the angle of the mathematical modeling of interactive systems. By modeling various facets of the system--such as windows, real time phenomena, and dynamic pointers--the book demonstrates how formal methods of software engineering (particularly functional programming) can be used to enhance the efficiency and usability of interactive systems. This book will be accessible and invaluable to researchers and students in the fields of HCI and formal methods for software engineering. Employs a novel approach to HCI in using formal methods for evaluation and design**Brings…

Book details

List price: $73.00
Copyright year: 1991
Publisher: Elsevier Science & Technology Books
Publication date: 1/28/1991
Binding: Hardcover
Pages: 384
Size: 6.25" wide x 9.50" long x 1.00" tall
Weight: 1.430
Language: English



PIEs--The Simplest Black Box Model


Red-PIEs--Result and Display


Sharing and Interference in Window Managers


The Myth of the Infinitely Fast Machine


Non-Determinism as a Paradigm for Understanding the User Interface


Opening up the Box


Dynamic Pointers: An Abstraction for Indicative Manipulative


Complementary Functions and Complementary Views


Events and Status--Mice and Multiple Users


Applying Formal Models


Conclusions--Mathematics and the Art of Abstraction


References


Index