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 (125kB) | 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 16:48
    Last Modified: 22 Mar 2012 13:48

    Actions (login required)

    View Item

    Document Downloads

    More statistics for this item...

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