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.

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, 24 Mart 2017 tarihinde kaynağından arşivlendi, erişim tarihi: 3 Mart 2017 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 5 Kasım 2015 tarihinde Wayback Machine sitesinde arşivlendi.
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 1 Ağustos 2016 tarihinde Wayback Machine sitesinde arşivlendi. Z-Vimes: Z denetimi dili için tür denetleyicisi ve (sonuç olarak) teorem vericisi.
ProB 25 Eylül 2015 tarihinde Wayback Machine sitesinde arşivlendi. 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

^ Abrial, Jean-Raymond (1974), "Data Semantics", Klimbie, J.W.; Koffeman, K.L. (Ed.), Proceedings of the IFIP Working Conference on Data Base Management, North-Holland, ss. 1-59 .
^ Meyer, Bertrand; Baudoin, Claude (1980), Méthodes de programmation (Fransızca), Eyrolles .
^ 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 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. 4 Mart 2017 tarihinde kaynağından arşivlendi. Erişim tarihi: 3 Mart 2017.
Jacky, Jonathan (1997). The Way of Z: Practical Programming with Formal Methods. Cambridge University Press. ISBN 0-521-55976-6. 3 Ocak 2017 tarihinde kaynağından arşivlendi. Erişim tarihi: 3 Mart 2017.

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, 4 Mart 2017 tarihinde kaynağından arşivlendi, erişim tarihi: 3 Mart 2017 , a specification containing Z notation assertions and explanation

[1] Abrial, Jean-Raymond (1974), "Data Semantics", Klimbie, J.W.; Koffeman, K.L. (Ed.), 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 (Ed.), On the Construction of Programs, Cambridge University Press, ISBN 0-521-23090-X (describes early version of the language).

[1]

[2]

[3]

g t d ISO standartları
ISO standartları / ISO romanizasyonları \ IEC standartları
1-9999	1 2 3 4 5 6 7 9 16 17 31 -0 -1 -2 -3 -4 -5 -6 -7 -8 -9 -10 -11 -12 -13 128 216 217 226 228 233 259 269 302 306 361 428 500 518 519 639 -1 -2 -3 -5 -6 646 657 668 690 704 732 764 838 843 860 898 965 999 1000 1004 1007 1073-1 1155 1413 1538 1745 1745 1989 2014 2015 2022 2033 2047 2108 2145 2146 2240 2281 2533 2709 2711 2720 2788 2848 2852 3029 3103 3166 -1 -2 -3 3297 3307 3601 3602 3864 3901 3950 3977 4031 4157 4165 4217 4909 5218 5426 5427 5428 5725 5775 5776 5800 5807 5964 6166 6344 6346 6385 6425 6429 6438 6523 6709 6943 7001 7002 7010 7027 7064 7098 7185 7200 7498 7637 7736 7810 7811 7812 7813 7816 8000 8093 8178 8217 8373 8501-1 8571 8583 8601 8613 8632 8651 8652 8691 8807 8820-5 8859 -1 -2 -3 -4 -5 -6 -7 -8 -8-I -9 -10 -11 -12 -13 -14 -15 -16 8879 9000/9001 9036 9075 9126 9141 9227 9241 9293 9314 9362 9407 9506 9529 9564 9592-9593 9594 9660 9797-1 9897 9899 9945 9984 9985 9995
10000-19999	10006 10007 10116 10118-3 10160 10161 10165 10179 10206 10218 10303 -11 -21 -22 -28 -238 10383 10487 10585 10589 10646 10664 10746 10861 10957 10962 10967 11073 11170 11179 11404 11544 11783 11784 & 11785 11801 11889 11898 11940 (-2) 11941 (TR) 11992 12006 12182 12207 12234-2 13211 -1 -2 13216 13250 13399 13406-2 13450 13485 13490 13567 13568 13584 13616 14000 14031 14224 14289 14396 14443 14496 -2 -3 -6 -10 -11 -12 -14 -17 -20 14644 14649 14651 14698 14750 14764 14882 14971 15022 15189 15288 15291 15292 15398 15408 15444 -3 15445 15438 15504 15511 15686 15693 15706 -2 15707 15897 15919 15924 15926 15926 WIP 15930 16023 16262 16355-1 16612-2 16750 16949 (TS) 17024 17025 17203 17369 17442 17799 18000 18004 18014 18245 18629 18916 19005 19011 19092 (-1 -2) 19114 19115 19125 19136 19439 19500 19501 19502 19503 19505 19506 19507 19508 19509 19510 19600:2014 19752 19757 19770 19775-1 19794-5 19831
20000+	20000 20022 20121 20400 21000 21047 21500 21827:2002 22000 22300 22395 23270 23271 23360 24517 24613 24617 24707 25178 25964 26000 26262 26300 26324 27000 serisi 27000 27001 27002 27005 27006 27729 28000 29110 29148 29199-2 29500 30170 31000 32000 37001 38500 40500 42010 45001 50001 55000 80000 -1 -2 -3
Kategori

Z notasyonu nedir?, Z notasyonu anlamı nedir?, Z notasyonu ne demektir?