Research Output
Using ERMIA for the Evaluation of a Theorem Prover Interface
  ERMIA (Entity-Relationship Modelling of Information Artefacts) provides an extension to entity-relationship
modelling techniques to provide a structural representation of the interaction between people and “information
artefacts”. Such a representation may then be used to compare contrasting interface designs or identify potential
usability problems in an existing system. In this paper we present an application of ERMIA analysis to a version
of the XBarnacle semi-automated theorem proving system that features interactive proof critics

  • Date:

    31 December 2004

  • Publication Status:

    Published

  • Publisher

    UITP

  • Library of Congress:

    QA Mathematics

  • Dewey Decimal Classification:

    511 General principles of mathematics

Citation

Jackson, M., Benyon, D., & Lowe, H. (2004). Using ERMIA for the Evaluation of a Theorem Prover Interface. In R. Backhouse (Ed.), Proceedings of the 4th International Workshop on User Interfaces for Theorem Provers, 104-111

Authors

Keywords

Entity-relationship modelling; information artefacts; interface design; usability; ERMIA; XBarnacle; semi-automated theorem prover;

Monthly Views:

Available Documents