Design rational for semi-automated theorem provers.
(1998)
Journal Article
Lowe, H., Jackson, M., & Benyon, D. (1998). Design rational for semi-automated theorem provers. Formal Aspects of Computing,
Outputs (8)
Beyond navigation as metaphor. (1998)
Presentation / Conference Contribution
Benyon, D. (1998). Beyond navigation as metaphor. In Proceedings of 2nd European Conference on Digital Libraries (705-716). https://doi.org/10.1007/3-540-49653-X_71With the development of large information spaces such as digital libraries, the notion of user navigation through such spaces has gained prominence. The popular view of navigation is that it is a conscious, goal directed activity in which someone is... Read More about Beyond navigation as metaphor..
Conceptual modelling for Human Computer Interaction, using ERMIA. (1998)
Book
Benyon, D., Green, T. R. G., & Boyle, D. (1998). Conceptual modelling for Human Computer Interaction, using ERMIA. Springer-Verlag
Integrating usability into systems development. (1998)
Book Chapter
Crerar, A., & Benyon, D. (1998). Integrating usability into systems development. In L. Trenner, & J. Bawa (Eds.), The Politics of Usability (49-60). Springer-Verlag
Evaluating navigation in virtual environments. (1998)
Presentation / Conference Contribution
McCall, R., & Benyon, D. (1998). Evaluating navigation in virtual environments. In 1st International Usability Evaluation for Virtual Environments Workshop - UEVE'98
A software tool for evaluating navigation (1998)
Presentation / Conference Contribution
McCall, R., & Benyon, D. (1998). A software tool for evaluating navigation. In J. May, J. Siddiqui, & J. Wilkinson (Eds.), HCI’98 Conference Companion (72-73)Traditional methods of evaluating the usability of software systems largely ignore the problem of navigation within computer based environments. In contrast the 'Navigation of Information Space' paradigm (Benyon and Höök, 1997) places the navigabilit... Read More about A software tool for evaluating navigation.
A software tool for evaluating navigation. (1998)
Presentation / Conference Contribution
McCall, R., & Benyon, D. (1998). A software tool for evaluating navigation. In Proceedings of WebNet World Conference on the WWW and Internet 1999 (1723)Traditional methods of usability evaluation ignore some aspects related to navigation. In contrast the navigation in information space paradigm sees the user as situated within the space. The ENiSpace (Evaluating Navigation in Information Space) syst... Read More about A software tool for evaluating navigation..
Commentary cognitive engineering as the development of information spaces (1998)
Journal Article
Benyon, D. (1998). Commentary cognitive engineering as the development of information spaces. Ergonomics, 41(2), 153-156. https://doi.org/10.1080/001401398187170