Dynamic Queries is a querying technique for doing range search on multi-key data sets. It is a direct manipulation mechanism where the query is formulated using graphical widgets and the results are displayed graphica...
详细信息
The original definition of refinement proof obligations in VDM is reviewed and examples are discussed which, while being intuitively sensible, pose problems for this definition of refinement. An extended VDM refinemen...
详细信息
作者：
Christopher AhlbergBen ShneidermanDept. of Computer Science
Chalmers University of Technology S-412 96 Göteborg Sweden and Department of Computer Science Human-Computer Interaction Laboratory & Institute for Systems Research University of Maryland College Park MD Department of Computer Science
Human-Computer Interaction Laboratory & Institute for Systems Research University of Maryland College Park MD
作者：
Christopher AhlbergBen ShneidermanDept. of Computer Science
Chalmers University of Technology S-412 96 Göteborg Sweden and Department of Computer Science Human-Computer Interaction Laboratory & Institute for Systems Research University of Maryland College Park MD Department of Computer Science
Human-Computer Interaction Laboratory & Institute for Systems Research University of Maryland College Park MD
Focus in natural language processing is used to keep track of the attentional space of the participants in the dialogue. Graphical interfaces have still to benefit from the use of this level of communication. We discu...
详细信息
Requirements that involve the usability of systems can be properties of interactions rather than systems alone. We demonstrate this proposition by means of four examples and then suggest how a notation like CSP may be...
详细信息
Requirements that involve the usability of systems can be properties of interactions rather than systems alone. This proposition is demonstrated by means of four examples. The authors suggest that a notation like CSP ...
详细信息
Requirements that involve the usability of systems can be properties of interactions rather than systems alone. This proposition is demonstrated by means of four examples. The authors suggest that a notation like CSP (communicating sequential processes) may be used to provide a framework for considering different modeling approaches. interaction requirements that relate to multiwindowed systems, walk up and use systems, and dynamic systems such as power stations are considered. It is shown how models provide different representations to which advice from the different disciplines of humancomputerinteraction may be applied.< >
暂无评论