تدوين زد

تدوين زد (بالإنجليزي: Z notation) وهو مواصفات اللغة الرسمية تستخدم لوصف النظام ونظم النمذجة الحاسوبية، يستهدف مواصفات واضحة لبرامج الكمبيوتر والأنظمة المعتمدة على الحاسوب، سمي بعد نظرية زيرميلو- فرانكل.

 تاريخيا 
في 1974 نشرت جين رايموند ابيرال "بيانات دلالية"".Jean-Raymond Abrial, "Data Semantics". In Klimbie and Koffeman (eds), Data Base Management, إلزيفير, pp. 1–59. باستخدام تدوين زد الذي اقترحه ابرايل بمساعدة ستيفن شومان وبرتران ماير عام 1977 Jean-Raymond Abrial, Stephen A. Schuman, and Bertrand Meyer: A Specification Language, in On the Construction of Programs, Cambridge University Press, eds. A. M. Macnaghten and R. M. McKeag, 1980 (describes early version of the language). ISBN 0-521-23090-X وقدمت جامعة اكسفورد مجموعة بحوث عنه، ودُرِسَ في جامعة جرونوبل عام 1980، بينما كتب ابرايل مذكرات بواسطة تدوين زد، وتم استخدام تدوين زد في عام 1980(كتاب Méthodes de programmation برتراند ماير and Claude Baudoin, Méthodes de programmation. Eyrolles, 1980.
)

 استخدامه 
تدوين زد مبني على ترميز رياضي موحد يستخدم في نظرية المجموعات البديهية، تفاضل لامبدا ومنطق الرتبة الاولى. يتم كتابتها كل التعبيرات في تدوين زد، بالتالي تجنب بعض التناقضات في نظرية الفئات البديهية،
يحتوي تدوين زد على جدول موحد يستخدم الدوال الرياضية والأدلة.

 المعايير 
في عام 2002 انهت المنظمة الدولية للمعايير (تنميط) توحيد مقاييس زد، ويمكن الحصول على هذا التنميط مباشرة من المنظمة الدولية للمعايير.

 للاستزادة 





 وصلات خارجية 
عام
 The World Wide Web Virtual Library: The Z notation, by جوناثان بوين
 Specification proposals by Ian Toyn
 W3C WSDL 2.0 a specification containing Z notation assertions and explanation

أدوات
 Community Z Tools (CZT) project
 Tools for developing and checking Z specifications in مايكروسوفت وورد
 Mike Spivey's 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 
 ERZ: Tool for transform ER model to Z Notation equivalent, by Luis Espino
 CADiZ, a set of free software tools that assist use of Z notation

 المراجع 


تصنيف:استحداثات متعلقة بالحواسيب في 1977
تصنيف:علم الحاسوب
تصنيف:لغات المواصفات