/zed/ CifiCation> 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 arithmetiCsimulation language from ZOLA TeChnologies. (1995-08-11)