Tools
Tools
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]](http://researchrepository.napier.ac.uk/style/images/fileicons/application_pdf.png) | PDF Restricted to Registered users only Available under License Creative Commons Attribution Non-commercial. Download (125kB) | Request a copy |
Abstract/Description
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 |
| URI: | http://researchrepository.napier.ac.uk/id/eprint/3068 |
Actions (login required)
| View Item |