Authors: Copas, C.V.; Edmonds, E.
Source: Interacting with Computers, Volume 12, Number 6, July 2000, pp. 545-564(20)
Keywords: Declarative interaction; Executable specifications; Formal specifications; Geographic information systems; Goal description languages; Intelligent user interfaces; Model-based systems; Petri nets; Planning; Task analysis; User interface management systems
Document Type: Research Article
Affiliations: aHuman-Systems Integration Group, Information Technology Division, Defence Science and Technology Organisation, P.O. Box 1500, , SA, 5108, Salisbury, Australia
Publication date: July 1, 2000