Formal Aspects of Computing

, Volume 11, Issue 3, pp 244–271

A Minimal Graphical User Interface for the Jape Proof Calculator

  • Richard Bornat
  • Bernard Sufrin
Original Paper


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.

Keywords: GUI proof; Proof calculator 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© BCS 1999

Authors and Affiliations

  • Richard Bornat
    • 1
  • Bernard Sufrin
    • 2
  1. 1.Department of Computer Science, Queen Mary and Westfield College, University of London UKUK
  2. 2.Programming Research Group, University of Oxford, Oxford, UKUK

Personalised recommendations