Using ERMIA for the Evaluation of a Theorem Prover Interface

Jackson, Mike, Benyon, David and Lowe, Helene (2004) Using ERMIA for the Evaluation of a Theorem Prover Interface. In: Proceedings of the 4th International Workshop on User Interfaces for Theorem Provers. UITP, Eindhoven, Holland, pp. 104-111.

[img] PDF
Restricted to Registered users only
Available under License Creative Commons Attribution Non-commercial.

Download (128kB) | Request a copy


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

Item Type: Book Section
Uncontrolled Keywords: Entity-relationship modelling; information artefacts; interface design; usability; ERMIA; XBarnacle; semi-automated theorem prover;
University Divisions/Research Centres: Faculty of Engineering, Computing and Creative Industries > School of Computing
Dewey Decimal Subjects: 500 Science > 510 Mathematics > 511 General principles of mathematics
Library of Congress Subjects: Q Science > QA Mathematics
Item ID: 3068
Depositing User: Computing Research
Date Deposited: 06 Oct 2010 15:48
Last Modified: 22 Mar 2012 13:48

Actions (login required)

View Item View Item


Downloads per month over past year

View more statistics

Edinburgh Napier University is a registered Scottish charity. Registration number SC018373