Free Shipping in the US on over 5 million books in stock
Formal Methods for Interactive Systems By Alan Dix

Formal Methods for Interactive Systems

Used Price
Free Shipping in the US
A text which employs a new approach to human-computer interaction by using formal methods for evaluation and design, and which provides formalisms for the design of safety-critical systems. The author outlines abstract models of interaction, bringing mathematical rigour to interface modelling.

Only 1 left

Formal Methods for Interactive Systems Summary

Formal Methods for Interactive Systems by Alan Dix

Intended for professional, research-level and advanced undergraduates in human-computer interaction and formal methods for software engineering, this book addresses the problems governing the usability of computer interfaces. These problems are approached from the angle of the mathematical modelling of intertive systems. By modelling 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.

Customer Reviews - Formal Methods for Interactive Systems

Why buy from World of Books

Our excellent value books literally don't cost the earth
Free delivery in the US
Read more here
Every used book bought is one saved from landfill

Table of Contents

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.

Additional information

Formal Methods for Interactive Systems by Alan Dix
Alan Dix
Computers and People
Used - Very Good
Elsevier Science Publishing Co Inc
Book picture is for illustrative purposes only, actual binding, cover or edition may vary.
This is a used book - there is no escaping the fact it has been read by someone else and it will show signs of wear and previous use. Overall we expect it to be in very good condition, but if you are not entirely satisfied please get in touch with us.