
_START_ARTICLE_
تدوين زد
_START_PARAGRAPH_
تدوين زد (بالإنجليزي: Z notation) وهو مواصفات اللغة الرسمية  تستخدم لوصف النظام ونظم النمذجة الحاسوبية، يستهدف مواصفات واضحة لبرامج الكمبيوترو الأنظمة المعتمدة على الحاسوب، سمي بعد نظرية زيرميلو- فرانكل.
_START_SECTION_
تاريخيا
_START_PARAGRAPH_
في 1974 نشرت جين رايموند ابيرال "بيانات دلالية"".  باستخدام تدوين زد الذي اقترحه ابرايل بمساعدة ستيفن شومان وبرتران ماير عام 1977  وقدمت جامعة اكسفورد مجموعة بحوث عنه، ودُرِسَ في جامعة جرونوبل عام 1980، بينما كتب ابرايل مذكرات بواسطة تدوين زد، وتم استخدام تدوين زد  في عام  1980(كتاب Méthodes de programmation _NEWLINE_)
_START_SECTION_
استخدامه
_START_PARAGRAPH_
تدوين زد مبني على ترميز رياضي موحد يستخدم في نظرية المجموعات البديهية, تفاضل لامبدا ومنطق الرتبة الاولى. يتم كتابتها كل التعبيرات في تدوين زد, بالتالي تجنب بعض التناقضات  في نظرية الفئات البديهية، _NEWLINE_يحتوي تدوين زد على جدول موحد يستخدم الدوال الرياضية والأدلة.
_START_SECTION_
المعايير
_START_PARAGRAPH_
في عام 2002 انهت المنظمة الدولية للمعايير (تنميط)توحيد مقاييس زد، ويمكن الحصول على هذا التنميط مباشرة من المنظمة الدولية للمعايير .