DocumentCode
283348
Title
IEE Colloquium on `Formal Methods and Human-Computer Interaction: II´ (Digest No.82)
fYear
1988
fDate
32195
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;
fLanguage
English
Publisher
iet
Conference_Titel
Formal Methods and Human-Computer Interaction: II, IEE Colloquium on
Conference_Location
London
Type
conf
Filename
209307
Link To Document