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. ==Tarihi== 1974'te Jean-Raymond Abrial "Veri Semantiği"ni yayınladı.. Daha sonra 1980'lerin sonuna kadar Grenoble Üniversitesi'nde öğretilecek bir notasyon kullandı. Abrial EDF'deyken Abrial, Z'ye ilişkin iç notlar yazdı. Z notasyonu, 1980 tarihli "Méthodes de programmation" kitabında kullanılmıştır.. Z ilk olarak 1977'de Abrial tarafından Steve Schuman ve Bertrand Meyer'in yardımıyla ileri sürüldü. (describes early version of the language). Abrial'in 1980'lerin başında çalıştığı, Eylül 1979'da Oxford'a geldiği Programlama Araştırma Grubu'nda Oxford Üniversitesi'nde geliştirildi. ==Araçlar== * . * for developing and checking Z specifications in Microsoft Word. * . * Z/Eves — A proof checker for the Z notation (German site but all manuals in English) * Z/EVES Documentation, papers, and manuals on Z/EVES * ZETA open-source system for development software specifications in Z * HOL-Z open-source proof environment for Z in Isabelle/HOL * CADiZ, Z gösteriminin kullanılmasına yardımcı olan bir dizi ücretsiz yazılım araçları * ProofPower, HOL'de ve Z notasyonunun belirtimi ve ispatı destekleyen açık kaynaklı araçlar paketi. * z-vimes Z-Vimes: Z denetimi dili için tür denetleyicisi ve (sonuç olarak) teorem vericisi. * ProB Orijinal olarak B-Yöntemi için yazılmış ve Fuzz türü denetleyicisine uyan Z özelliklerini ("ProZ") de destekleyen bir animatör ve model denetleyicidir. ==Kaynakça== ==Daha fazla bilgi== * * * * ==Dış bağlantılar== * . * , a specification containing Z notation assertions and explanation Kategori:1977 tanıtımları