تدوين زد

من ويكيبيديا، الموسوعة الحرة
اذهب إلى: تصفح، ‏ ابحث
Agendacumple en Z.jpg

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

تاريخيا[عدل]

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

استخدامه[عدل]

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

المعايير[عدل]

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

اقرأأيضا[عدل]

وصلات خارجية[عدل]

عام
أدوات

المراجع[عدل]

  1. ^ Jean-Raymond Abrial, "Data Semantics". In Klimbie and Koffeman (eds), Data Base Management, North-Holland, pp. 1–59.
  2. ^ 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
  3. ^ Bertrand Meyer and Claude Baudoin, Méthodes de programmation. Eyrolles, 1980.
  4. ^ Information Technology — Z Formal Specification Notation — Syntax, Type System and Semantics (الطبعة ISO/IEC 13568:2002). صفحات 196 pages.