Z notacija
Z notacija, pavadinta pagal Zermelo–Fraenkel aibių teoriją – formali specifikavimo kalba, naudojami aprašyti ir modeliuoti sistemas. Ji skirta programinės įrangos ir kompiuterių sistemoms specifikavimui.