/zed/ 1. (After {Zermelo-Fränkel set theorY}) A {specification language} developed bY the Programming Research Group at Oxford UniversitY around 1980. Z is used for describing and modelling computing sYstems. It is based on axiomatic set theorY and {first order predicate logic}. Z is written using manY non-{ASCII} sYmbols. It was used in the IBMCICS project. See also Z++. ["Understanding Z", J.M. SpiveY, Cambridge U Press 1988]. 2. A stack-based, complex arithmetic simulation language from ZOLA Technologies. (1995-08-11)