Z notacija se uporablja za opis in modeliranje računalniških sistemov. Namenjena je jasnim specifikacijam računalniških programov ter sistemov osnovanih na računalnikih.
Notacija ima osnovo v Zermelo-Fraenkelovi teoriji množic (ime ima po Nemcu Ernestu Zermelu (1871 – 1953) in Izraelcu Abrahamu Fraenkelu (1891- 1965)).
Orodja Skupnost za uporabo Z orodij Orodja za razvoj Mikov Fuzz Type-Checker za notacijo Z Z/EVES Priročniki Preizkuševalec za Z notacijo CADiZ, skupina brezplačnih orodij za pomoč pri Znotaciji ProofPower skupina odprtokodnih orodij, ki podpirajo Z notacijo
Zunanje povezave Virtualna knjižnica, Z notacija Specifikacije Specifikacije za notacijo Z Z notacija, priročnik Uporaba Z notacije Praktično programiranje s formalnimi načini
Kategorija:Jeziki specifikacij