Using ERMIA for the Evaluation of a Theorem Prover Interface
(2004)
Presentation / Conference Contribution
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)
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 representa... Read More about Using ERMIA for the Evaluation of a Theorem Prover Interface.