Using ERMIA for the Evaluation of a Theorem Prover Interface
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
Authors
Keywords
Entity-relationship modelling; information artefacts; interface design; usability; ERMIA; XBarnacle; semi-automated theorem prover;
Monthly Views: