Z notasyonu

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ı