Abstract.
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.
Similar content being viewed by others
Author information
Authors and Affiliations
Additional information
Received November 1998 / Accepted in revised form June 1999
Rights and permissions
About this article
Cite this article
Bornat, R., Sufrin, B. A Minimal Graphical User Interface for the Jape Proof Calculator. Formal Aspects of Computing 11, 244–271 (1999). https://doi.org/10.1007/s001650050050
Issue Date:
DOI: https://doi.org/10.1007/s001650050050