Using ERMIA for the Evaluation of a Theorem Prover Interface

Jackson, Mike; Benyon, David; Lowe, Helene

Abstract

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

Citation

Jackson, M., Benyon, D., & Lowe, H. Using ERMIA for the Evaluation of a Theorem Prover Interface

• Presentation Conference Type: Conference Paper (published)
• Publication Date: 2004
• Deposit Date: Oct 6, 2010
• Publicly Available Date: Oct 6, 2010
• Peer Reviewed: Peer Reviewed
• Pages: 104-111
• Book Title: Proceedings of the 4th International Workshop on User Interfaces for Theorem Provers
• Keywords: Entity-relationship modelling; information artefacts; interface design; usability; ERMIA; XBarnacle; semi-automated theorem prover
• Public URL: http://researchrepository.napier.ac.uk/id/eprint/3068
• Contract Date: Oct 6, 2010