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 uredi

Zunanje povezave uredi