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ü. 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

1977 tanıtımları