A formal framework for the specification of interactive systems

We are primarily concerned with interactive systems whose behaviour is highly reliant on end user activity. A framework for describing and synthesising such systems is developed. This consists of a functional description of the capabilities of a system together with a means of expressing its desired...

Full description

Bibliographic Details

Main Author:	Richard J. Butterworth
Format:	Default Thesis
Published:	1997
Subjects:	Other information and computing sciences not elsewhere classified Formal specification Interactive systems Usability Human-computer interaction Reactive systems System use Information and Computing Sciences not elsewhere classified
Online Access:	https://hdl.handle.net/2134/14163
Tags:	Add Tag No Tags, Be the first to tag this record!