Quick Reference
A formal notation, based on set algebra and predicate calculus, for the specification of computing systems. It was developed at the Programming Research Group, Oxford University. Z specifications have a modular structure. See also constructive specification.
From: Z in A Dictionary of Computing »
Subjects: Computing.
Related content in Oxford Index
Reference entries
Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.