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.
![image](https://www.wikipedia.tr-tr.nina.az/image/aHR0cHM6Ly93d3cud2lraXBlZGlhLnRyLXRyLm5pbmEuYXovaW1hZ2UvYUhSMGNITTZMeTkxY0d4dllXUXVkMmxyYVcxbFpHbGhMbTl5Wnk5M2FXdHBjR1ZrYVdFdlkyOXRiVzl1Y3k5MGFIVnRZaTgyTHpZM0wwRm5aVzVrWVdOMWJYQnNaVjlsYmw5YUxuTjJaeTh5TWpCd2VDMUJaMlZ1WkdGamRXMXdiR1ZmWlc1ZldpNXpkbWN1Y0c1bi5wbmc=.png)
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
wikipedia, wiki, viki, vikipedia, oku, kitap, kütüphane, kütübhane, ara, ara bul, bul, herşey, ne arasanız burada,hikayeler, makale, kitaplar, öğren, wiki, bilgi, tarih, yukle, izle, telefon için, turk, türk, türkçe, turkce, nasıl yapılır, ne demek, nasıl, yapmak, yapılır, indir, ücretsiz, ücretsiz indir, bedava, bedava indir, mp3, video, mp4, 3gp, jpg, jpeg, gif, png, resim, müzik, şarkı, film, film, oyun, oyunlar, mobil, cep telefonu, telefon, android, ios, apple, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, pc, web, computer, bilgisayar
Z notasyonu Ingilizce telaffuz z ɛ d bilgi islem sistemlerini tanimlamak ve modellemek icin kullanilan bir tanimla dilinin resmi notasyonudur Genel olarak bilgisayar programi ve bilgisayar tabanli sistemlerin belirtilmesi hedeflenmektedir Z notasyonunu kullanarak Ispanyolca da ornegiTarihi1974 te Veri Semantigi ni yayinladi Daha sonra 1980 lerin sonuna kadar Grenoble Universitesi nde ogretilecek bir notasyon kullandi Abrial EDF deyken Abrial Z ye iliskin ic notlar yazdi Z notasyonu 1980 tarihli Methodes de programmation kitabinda kullanilmistir Z ilk olarak 1977 de Abrial tarafindan Steve Schuman ve in yardimiyla ileri suruldu Abrial in 1980 lerin basinda calistigi Eylul 1979 da Oxford a geldigi nda Oxford Universitesi nde gelistirildi Araclar project Source forge 1 Temmuz 2004 tarihinde kaynagindan arsivlendi erisim tarihi 3 Mart 2017 Z Word tools project Source forge 24 Mart 2017 tarihinde kaynagindan erisim tarihi 3 Mart 2017 for developing and checking Z specifications in Microsoft Word Spivey Michael Mike 26 Mart 2006 tarihinde kaynagindan arsivlendi erisim 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 Kasim 2015 tarihinde Wayback Machine sitesinde Z gosteriminin kullanilmasina yardimci olan bir dizi ucretsiz yazilim araclari ProofPower27 Aralik 2010 tarihinde Wayback Machine sitesinde HOL de ve Z notasyonunun belirtimi ve ispati destekleyen acik kaynakli araclar paketi z vimes 1 Agustos 2016 tarihinde Wayback Machine sitesinde Z Vimes Z denetimi dili icin tur denetleyicisi ve sonuc olarak teorem vericisi ProB 25 Eylul 2015 tarihinde Wayback Machine sitesinde Orijinal olarak B Yontemi icin yazilmis ve Fuzz turu denetleyicisine uyan Z ozelliklerini ProZ de destekleyen bir animator ve model denetleyicidir Kaynakca 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 Methodes de programmation Fransizca 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 1992 International Series in Computer Science Prentice Hall 9 Ekim 2008 tarihinde kaynagindan arsivlendi Erisim tarihi 3 Mart 2017 1996 International Series in Computer Science Prentice Hall ISBN 0 13 948472 8 27 Haziran 2009 tarihinde kaynagindan arsivlendi Erisim tarihi 3 Mart 2017 1996 Formal Specification and Documentation using Z A Case Study Approach International Thomson Computer Press ISBN 1 85032 230 9 4 Mart 2017 tarihinde kaynagindan Erisim 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 kaynagindan Erisim tarihi 3 Mart 2017 Dis baglantilarToyn Ian UK York 22 Haziran 2012 tarihinde kaynagindan arsivlendi erisim tarihi 3 Mart 2017 WSDL 2 0 W3C 4 Mart 2017 tarihinde kaynagindan erisim tarihi 3 Mart 2017 a specification containing Z notation assertions and explanation