تدوين زد
عودة للموسوعةتدوين زد (بالإنجليزي: Z notation) وهومواصفات اللغة الرسمية تستخدم لوصف النظام ونظم النمذجة الحاسوبية، يستهدف مواصفات واضحة لبرامج الكمبيوتر والأنظمة المعتمدة على الحاسوب، سمي بعد نظرية زيرميلو- فرانكل.
تاريخيا
في 1974 نشرت جين رايموند ابيرال "بيانات دلالية"". باستخدام تدوين زد الذي اقترحه ابرايل بمساعدة ستيفن شومان وبرتران ماير عام 1977 وقدمت جامعة اكسفورد مجموعة بحوث عنه، ودُرِسَ في جامعة جرونوبل عام 1980، بينما خط ابرايل مذكرات بواسطة تدوين زد، وتم استخدام تدوين زد في عام 1980(كتاب Méthodes de programmation )
استخدامه
تدوين زد مبني على ترميز رياضي موحد يستخدم في نظرية المجموعات البديهية، تفاضل لامبدا ومنطق الرتبة الاولى. يتم كتابتها جميع التعبيرات في تدوين زد، بالتالي تجنب بعض التناقضات في نظرية الفئات البديهية، يحتوي تدوين زد على جدول موحد يستخدم الدوال الرياضية والأدلة.
المعايير
في عام 2002 انهت المنظمة الدولية للمعايير (تنميط) توحيد مقاييس زد، ويمكن الحصول على هذا التنميط مباشرة من المنظمة الدولية للمعايير .
للاستزادة
- J. Michael Spivey (1992). (الطبعة 2nd edition). Prentice Hall International Series in Computer Science. مؤرشف من الأصل في 30 يناير 2018. صيانة CS1: نص إضافي (link)
- جيم ديفيز صيانة CS1: أسماء متعددة: قائمة المؤلفون (link) and جيم ودكوك (1996). . Prentice Hall International Series in Computer Science. ISBN .
- جوناثان بوين (1996). . International Thomson Computer Press. ISBN . مؤرشف من الأصل في 18 مارس 2019.
- Jonathan Jacky (1997). . Cambridge University Press. ISBN . مؤرشف من الأصل في 07 سبتمبر 2018.
وصلات خارجية
- عام
- 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
المراجع
- ^ Jean-Raymond Abrial, "Data Semantics". In Klimbie and Koffeman (eds), Data Base Management, إلزيفير, pp. 1–59.
- ^ 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
- ^ برتراند ماير and Claude Baudoin, Méthodes de programmation. Eyrolles, 1980.
- ^ (الطبعة ISO/IEC 13568:2002). 2002-07-01. صفحات 196 pages. مؤرشف من الأصل (1 MB PDF) في 05 يوليو2017. نسخة محفوظة 14 أغسطس 2007 على مسقط واي باك مشين.
التصنيفات: تدوين زد, اختراعات متعلقة بالحواسيب في 1977, علم الحاسوب, لغات المواصفات, قالب أرشيف الإنترنت بوصلات واي باك, الصفحات التي تستخدم وصلات ISBN السحرية, صيانة CS1: نص إضافي, وصلات إنترويكي بحاجة لمراجعة, صيانة CS1: أسماء متعددة: قائمة المؤلفون, صفحات بها وصلات إنترويكي, بوابة عقد 1970/مقالات متعلقة, بوابة برمجة الحاسوب/مقالات متعلقة, جميع المقالات التي تستخدم شريط بوابات, صفحات تستخدم خاصية P244, صفحات تستخدم خاصية P227