Using ERMIA for the Evaluation of a Theorem Prover Interface
Mike Jackson, David Benyon, Helene Lowe · Edinburgh Napier Research Repository (Edinburgh Napier University) · 2004
ERMIA (Entity-Relationship Modelling of Information Artefacts) provides an extension to entity-relationshipmodelling techniques to provide a structural representation of the interaction between people and “informationartefacts”. Such a representation may then be used to compare contrasting interface designs or identify potentialusability problems in an existing system. In this paper we present an application of ERMIA analysis to a versionof the XBarnacle semi-automated theorem proving system that features interactive proof critics