Skip to main content
Article thumbnail
Location of Repository

X: Why Z?

By Jonathan P. Bowen

Abstract

Window management systems are now used extensively for user interfaces to computer systems. In particular, X11 has come to dominate the workstation market as a widely accepted industry standard on many different hardware platforms. However, no formal standard currently exists for this window system, both in terms of an international standards body (although this is being addressed) , and in terms of a precise (mathematical) specification of what the interface is intended to do. This paper advocates the use of a formal notation to describe such an important system to avoid ambiguity and undesired or unintended variations between different implementations of the same system. The formal notation used for demonstration purposes, Z, is based on set theory, and has been developed at the Programming Research Group in Oxford. Keywords: Formal specification, X window system, Z notation, window managers, standards

Topics: Formal specification, X window system, Z notation, window managers, standards
Year: 1992
OAI identifier: oai:CiteSeerX.psu:10.1.1.32.7620
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • ftp://ftp.comlab.ox.ac.uk/pub/... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.