/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)