Title :
IEE Colloquium on `Formal Methods and Human-Computer Interaction: II´ (Digest No.82)
Abstract :
The following topics were dealt with: formal methods and iterative design; a linguistic approach to interface semantics; user interface managers, interface components and re-use; modes, WYSIWYG and the von Neuman bottleneck; and a framework for human-computer interaction and formal methods. Abstracts of individual papers can be found under the relevant classification codes in this or other issues
Keywords :
software engineering; user interfaces; WYSIWYG; formal methods; human-computer interaction; interface components; interface semantics; iterative design; linguistic approach; modes; reuse; user interface managers; von Neuman bottleneck;
Conference_Titel :
Formal Methods and Human-Computer Interaction: II, IEE Colloquium on
Conference_Location :
London
