Z notasyonu
(İspanyolca'da) örneği]]
Z notasyonu , bilgi işlem sistemlerini tanımlamak ve modellemek için kullanılan bir tanımla dilinin resmi notasyonudur. Genel olarak bilgisayar programı ve bilgisayar tabanlı sistemlerin belirtilmesi hedeflenmektedir. 1974'te Jean-Raymond Abrial "Veri Semantiği"ni yayınladı.