Z notasyonu ingilizce telaffuz z ɛ d bilgi işlem sistemlerini tanımlamak ve modellemek için kullanılan bir tanımla

Z notasyonu İngilizce telaffuz: , 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 (İspanyolca'da) örneği

Tarihi

1974'te "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 'in yardımıyla ileri sürüldü. Abrial'in 1980'lerin başında çalıştığı, Eylül 1979'da Oxford'a geldiği 'nda Oxford Üniversitesi'nde geliştirildi.

Araçlar

(project), Source forge, 1 Temmuz 2004 tarihinde kaynağından arşivlendi, erişim tarihi: 3 Mart 2017 .
Z Word tools (project), Source forge, 24 Mart 2017 tarihinde kaynağından , erişim tarihi: 3 Mart 2017 for developing and checking Z specifications in Microsoft Word.
Spivey, Michael ‘Mike’, , 26 Mart 2006 tarihinde kaynağından arşivlendi, erişim tarihi: 3 Mart 2017 .
(German site but all manuals in English)
Z/EVES7 Ekim 2011 tarihinde Wayback Machine sitesinde . Documentation, papers, and manuals on Z/EVES
HOL-Z open-source proof environment for Z in Isabelle/HOL 5 Kasım 2015 tarihinde Wayback Machine sitesinde .
, 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 ., HOL'de ve Z notasyonunun belirtimi ve ispatı destekleyen açık kaynaklı araçlar paketi.
z-vimes 1 Ağustos 2016 tarihinde Wayback Machine sitesinde . Z-Vimes: Z denetimi dili için tür denetleyicisi ve (sonuç olarak) teorem vericisi.
ProB 25 Eylül 2015 tarihinde Wayback Machine sitesinde . 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

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

Daha fazla bilgi

(1992). . International Series in Computer Science. Prentice Hall. 9 Ekim 2008 tarihinde kaynağından arşivlendi. Erişim tarihi: 3 Mart 2017.
; (1996). . International Series in Computer Science. Prentice Hall. ISBN . 27 Haziran 2009 tarihinde kaynağından arşivlendi. Erişim tarihi: 3 Mart 2017.
(1996). Formal Specification and Documentation using Z: A Case Study Approach. International Thomson Computer Press. ISBN . 4 Mart 2017 tarihinde kaynağından . Erişim tarihi: 3 Mart 2017.
Jacky, Jonathan (1997). The Way of Z: Practical Programming with Formal Methods. Cambridge University Press. ISBN . 3 Ocak 2017 tarihinde kaynağından . Erişim tarihi: 3 Mart 2017.

Dış bağlantılar

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

[1] (1974), "Data Semantics", Klimbie, J.W.; Koffeman, K.L. (Ed.), Proceedings of the Working Conference on Data Base Management, , ss. 1-59 .

[2] ; Baudoin, Claude (1980), Méthodes de programmation (Fransızca), .

[3] Abrial, Jean-Raymond; Schuman, Stephen A; Meyer, Bertrand (1980), "A Specification Language", Macnaghten, AM; McKeag, RM (Ed.), On the Construction of Programs, Cambridge University Press, ISBN (describes early version of the language).