Z notasyonu
Z notasyonu /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.
İçindekiler
Tarihi[değiştir | kaynağı değiştir]
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[değiştir | kaynağı değiştir]
- Community Z Tools (CZT) (project), Source forge.
- Z Word tools (project), Source forge for developing and checking Z specifications in Microsoft Word.
- Spivey, Michael ‘Mike’, Fuzz Type-Checker for Z.
- 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[değiştir | kaynağı değiştir]
- ^ 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.
- ^ Meyer, Bertrand; Baudoin, Claude (1980), Méthodes de programmation (French), Eyrolles.
- ^ 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[değiştir | kaynağı değiştir]
- Spivey, John Michael (1992). The Z Notation: A reference manual. International Series in Computer Science (2nd bas.). Prentice Hall.
- Davies, Jim; Woodcock, Jim (1996). Using Z: Specification, Refinement and Proof. International Series in Computer Science. Prentice Hall. ISBN 0-13-948472-8.
- 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[değiştir | kaynağı değiştir]
- Toyn, Ian, Z Specification proposals, UK: York.
- WSDL 2.0, W3C, a specification containing Z notation assertions and explanation
