Z notasyonu

Z notasyonu İngilizce telaffuz: [ z ɛ d], 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.

Z notasyonunu kullanarak formal specification (İspanyolca'da) örneği

Tarihi

1974'te Jean-Raymond Abrial "Veri Semantiği"ni yayınladı.[1] 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.[2]

Z ilk olarak 1977'de Abrial tarafından Steve Schuman ve Bertrand Meyer'in yardımıyla ileri sürüldü.[3] 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

• Community Z Tools (CZT) (project), Source forge, 1 Temmuz 2004 tarihinde kaynağından arşivlendi, erişim tarihi: 3 Mart 2017.
• Z Word tools (project), Source forge for developing and checking Z specifications in Microsoft Word.
• Spivey, Michael ‘Mike’, Fuzz Type-Checker for Z, 26 Mart 2006 tarihinde kaynağından arşivlendi, erişim tarihi: 3 Mart 2017.
• Z/Eves — A proof checker for the Z notation (German site but all manuals in English)
• Z/EVES7 Ekim 2011 tarihinde Wayback Machine sitesinde arşivlendi. 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ı
• ProofPower27 Aralık 2010 tarihinde Wayback Machine sitesinde arşivlendi., 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

1. Abrial, Jean-Raymond (1974), "Data Semantics", Klimbie, J.W.; Koffeman, K.L. (Edl.), Proceedings of the IFIP Working Conference on Data Base Management, North-Holland, ss. 1-59.
2. Meyer, Bertrand; Baudoin, Claude (1980), Méthodes de programmation (Fransızca), Eyrolles.
3. Abrial, Jean-Raymond; Schuman, Stephen A; Meyer, Bertrand (1980), "A Specification Language", Macnaghten, AM; McKeag, RM (Edl.), On the Construction of Programs, Cambridge University Press, ISBN 0-521-23090-X (describes early version of the language).

Daha fazla bilgi

• Spivey, John Michael (1992). The Z Notation: A reference manual. International Series in Computer Science. Prentice Hall. 9 Ekim 2008 tarihinde kaynağından arşivlendi. Erişim tarihi: 3 Mart 2017.
• Davies, Jim; Woodcock, Jim (1996). Using Z: Specification, Refinement and Proof. International Series in Computer Science. Prentice Hall. ISBN 0-13-948472-8. 27 Haziran 2009 tarihinde kaynağından arşivlendi. Erişim tarihi: 3 Mart 2017.
• Bowen, Jonathan (1996). Formal Specification and Documentation using Z: A Case Study Approach. International Thomson Computer Press. ISBN 1-85032-230-9.
• Jacky, Jonathan (1997). The Way of Z: Practical Programming with Formal Methods. Cambridge University Press. ISBN 0-521-55976-6.

Dış bağlantılar

• Toyn, Ian, Z Specification proposals, UK: York, 22 Haziran 2012 tarihinde kaynağından arşivlendi, erişim tarihi: 3 Mart 2017.
• WSDL 2.0, W3C, a specification containing Z notation assertions and explanation