, Volume 11, Issue 3, pp 244-271

A Minimal Graphical User Interface for the Jape Proof Calculator

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access


GUI design isn't simply a matter of putting a nice front-end on a capable program. It requires thought about the way in which people might be expected to use a system, and investigation of the ways that they actually use it. Jape's GUI has been designed to be as simple as possible, so that it will not get in the way of the business of proof. It is designed to be minimal in the information that it displays and the gestures that it requires from the user. In this paper we introduce and give a rationale for the design of Jape's user interface, then note some of its drawbacks.

Received November 1998 / Accepted in revised form June 1999