IEE Colloquium on `Formal Methods and Human-Computer Interaction:II' (Digest No.82)

摘要

The following topics were dealt with: formal methods and iterativedesign; a linguistic approach to interface semantics; user interfacemanagers, interface components and re-use; modes, WYSIWYG and the vonNeuman bottleneck; and a framework for human-computer interaction andformal methods. Abstracts of individual papers can be found under therelevant classification codes in this or other issues