Z notacija
Iz Wikipedije, proste enciklopedije
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]
- 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 [uredi]
- Virtualna knjižnica, Z notacija (v angleščini)
- Specifikacije (v angleščini)
- Specifikacije za notacijo Z (v angleščini)
- Z notacija, priročnik (v angleščini)
- Uporaba Z notacije (v angleščini)
- Praktično programiranje s formalnimi načini (v angleščini)
 |
Ta članek o računalništvu je škrbina. Pomagaj Wikipediji in ga razširi. |
