Title :
IEE Colloquium on `Formal Methods in HCI: III´ (Digest No.151)
Abstract :
The following topics were dealt with: dynamic pointers for indicative manipulation; natural language interface to constraint satisfaction system; user interface to program transformation assistant; expert systems design, user-centred; visual file system specification; formal methods in HCI research; and user structure modelling within system specifications
Keywords :
artificial intelligence; data structures; formal logic; formal specification; human factors; interactive systems; user interfaces; HCI research; constraint satisfaction system; dynamic pointers; expert systems design; formal methods; indicative manipulation; natural language interface; program transformation assistant; user interface; user structure modelling; user-centred; visual file system specification;
Conference_Titel :
Formal Methods in HCI: III, IEE Colloquium on
Conference_Location :
London
