تدوين زد

Mike Spivey's Fuzz Type-Checker for Z

في هذا الإطار، Z/Eves — A proof checker for the Z notation (German site but all manuals in English)

عام

وفي السياق ذاته، The World Wide Web Virtual Library: The Z notation , by جوناثان بوين

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

Community Z Tools (CZT) project

ومن جهة أخرى، Tools for developing and checking Z specifications in مايكروسوفت وورد

تاريخيا

ومن جهة أخرى، في 1974 نشرت جين رايموند ابيرال "بيانات دلالية"". باستخدام تدوين زد الذي اقترحه ابرايل بمساعدة ستيفن شومان وبرتران ماير عام 1977 وقدمت جامعة اكسفورد مجموعة بحوث عنه، ودُرِسَ في جامعة جرونوبل عام 1980، بينما كتب ابرايل مذكرات بواسطة تدوين زد، وتم استخدام تدوين زد في عام 1980(كتاب Méthodes de programmation

)

استخدامه

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

من جهة ثانية، يحتوي تدوين زد على جدول موحد يستعمل الدوال الرياضية والأدلة.

المعايير

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

للاستزادة

وصلات خارجية

Specification proposals by Ian Toyn

في هذا الإطار، W3C WSDL 2.0 a specification containing Z notation assertions and explanation

أدوات