books zed notation
If you do not find what you're looking for, you can use more accurate words.
تدوين زد (Info)
تدوين زد (بالإنجليزي: Z notation) وهو مواصفات اللغة الرسمية تستخدم لوصف النظام ونظم النمذجة الحاسوبية، يستهدف مواصفات واضحة لبرامج الكمبيوتر والأنظمة المعتمدة على الحاسوب، سمي بعد نظرية زيرميلو- فرانكل.
تاريخيا
في 1974 نشرت جين رايموند ابيرال "بيانات دلالية"". باستخدام تدوين زد الذي اقترحه ابرايل بمساعدة ستيفن شومان وبرتران ماير عام 1977 وقدمت جامعة اكسفورد مجموعة بحوث عنه، ودُرِسَ في جامعة جرونوبل عام 1980، بينما كتب ابرايل مذكرات بواسطة تدوين زد، وتم استخدام تدوين زد في عام 1980(كتاب Méthodes de programmation )
استخدامه
تدوين زد مبني على ترميز رياضي موحد يستخدم في نظرية المجموعات البديهية، تفاضل لامبدا ومنطق الرتبة الاولى. يتم كتابتها كل التعبيرات في تدوين زد، بالتالي تجنب بعض التناقضات في نظرية الفئات البديهية، يحتوي تدوين زد على جدول موحد يستخدم الدوال الرياضية والأدلة.
المعايير
في عام 2002 انهت المنظمة الدولية للمعايير (تنميط) توحيد مقاييس زد، ويمكن الحصول على هذا التنميط مباشرة من المنظمة الدولية للمعايير.
للاستزادة
- J. Michael Spivey (1992). The Z Notation: A reference manual (الطبعة 2nd edition). Prentice Hall International Series in Computer Science. مؤرشف من الأصل في 30 يناير 2018. الوسيط
|CitationClass=تم تجاهله (مساعدة)صيانة CS1: نص إضافي (link) - جيم ديفيز and جيم ودكوك (1996). Using Z: Specification, Refinement and Proof. Prentice Hall International Series in Computer Science. ISBN 0-13-948472-8. مؤرشف من الأصل في 03 مارس 2016. الوسيط
|CitationClass=تم تجاهله (مساعدة)صيانة CS1: أسماء متعددة: قائمة المؤلفون (link) - جوناثان بوين (1996). Formal Specification and Documentation using Z: A Case Study Approach. International Thomson Computer Press. ISBN 1-85032-230-9. مؤرشف من الأصل في 18 مارس 2019. الوسيط
|CitationClass=تم تجاهله (مساعدة) - Jonathan Jacky (1997). The Way of Z: Practical Programming with Formal Methods. Cambridge University Press. ISBN 0-521-55976-6. مؤرشف من الأصل في 07 سبتمبر 2018. الوسيط
|CitationClass=تم تجاهله (مساعدة)
