Mike Jackson
Using ERMIA for the Evaluation of a Theorem Prover Interface
Jackson, Mike; Benyon, David; Lowe, Helene
Authors
David Benyon
Helene Lowe
Contributors
R Backhouse
Editor
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. (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)
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 |
Files
jackson.pdf
(128 Kb)
PDF
Downloadable Citations
About Edinburgh Napier Research Repository
Administrator e-mail: repository@napier.ac.uk
This application uses the following open-source libraries:
SheetJS Community Edition
Apache License Version 2.0 (http://www.apache.org/licenses/)
PDF.js
Apache License Version 2.0 (http://www.apache.org/licenses/)
Font Awesome
SIL OFL 1.1 (http://scripts.sil.org/OFL)
MIT License (http://opensource.org/licenses/mit-license.html)
CC BY 3.0 ( http://creativecommons.org/licenses/by/3.0/)
Powered by Worktribe © 2024
Advanced Search