تدوين زد

تدوين زد (بالإنجليزي: 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. مؤرشف من الأصل في 2018-01-30. {{استشهاد بكتاب}}: |طبعة= يحتوي على نص زائد (مساعدة)
جيم ديفيز ‏ and جيم ودكوك (1996). Using Z: Specification, Refinement and Proof. Prentice Hall International Series in Computer Science. مؤرشف من الأصل في 2016-03-03.{{استشهاد بكتاب}}: صيانة الاستشهاد: أسماء عددية: قائمة المؤلفين (link) صيانة الاستشهاد: أسماء متعددة: قائمة المؤلفين (link)
جوناثان بوين (1996). Formal Specification and Documentation using Z: A Case Study Approach. International Thomson Computer Press. مؤرشف من الأصل في 2019-03-18.
Jonathan Jacky (1997). The Way of Z: Practical Programming with Formal Methods. Cambridge University Press. مؤرشف من الأصل في 2018-09-07.

وصلات خارجية

عام

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.
^ Information Technology — Z Formal Specification Notation — Syntax, Type System and Semantics (ط. ISO/IEC 13568:2002). 1 يوليو 2002. ص. 196 pages. مؤرشف من الأصل (1 MB PDF) في 2017-07-05. {{استشهاد بكتاب}}: روابط خارجية في |إصدار= (مساعدة)

[1] Jean-Raymond Abrial, "Data Semantics". In Klimbie and Koffeman (eds), Data Base Management, إلزيفير, 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] برتراند ماير 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). 1 يوليو 2002. ص. 196 pages. مؤرشف من الأصل (1 MB PDF) في 2017-07-05. {{استشهاد بكتاب}}: روابط خارجية في |إصدار= (مساعدة)

ع ن ت معايير المنظمة الدولية للمعايير
قائمة معايير الأيزو - قائمة معايير IEC - تصنيف:معايير الأيزو
1–9999	1 2 3 4 5 6 7 9 16 31 (-0 -1 -2 -3 -4 -5 -6 -7 -8 -9 -10 -11 -12 -13) 128 216 217 226 228 233 259 269 302 306 428 518 519 639 (-1 -2 -3 -5 -6) 646 690 732 764 843 898 1000 1004 1007 1073-1 1413 1538 1745 2014 2015 2022 2108 2145 2146 2240 2281 2709 2711 2788 2852 3029 3103 3166 (-1 -2 -3) 3297 3307 3602 3864 3901 3977 4031 4157 4217 5218 5775 5776 5800 5964 6166 6344 6346 6425 6429 6438 6523 6709 7001 7002 7098 7185 7200 7498 7736 7810 7811 7812 7813 7816 8000 8178 8217 8571 8583 8601 8632 8652 8691 8807 8820-5 8859 (-1 -2 -3 -4 -5 -6 -7 -8 -9 -10 -11 -12 -13 -14 -15 -16) 8879 9000/9001 9075 9126 9293 9241 9362 9407 9506 9529 9564 9594 9660 9897 9945 9984 9985 9995
10000–19999	10006 10118-3 10160 10161 10165 10179 10206 10218 10303 (-11 -21 -22 -28 -238) 10383 10487 10585 10589 10646 10664 10746 10861 10957 10962 10967 11073 11170 11179 11404 11544 11783 11784 11785 11801 11898 11940 11941 11941 (TR) 11992 12006 12182 12207 12234-2 13211 (-1 -2) 13216 13250 13399 13406-2 13407 13450 13485 13490 13567 13568 13584 13616 14000 14031 14396 14443 14496 (-2 -3 -6 -10 -11 -12 -14 -17 -20) 14644 (-1 -2 -3 -4 -5 -6 -7 -8 -9) 14649 14651 14698 (-2) 14750 14882 14971 15022 15189 15288 15291 15292 15408 15444 15445 15438 15504 15511 15686 15693 15706 (-2) 15707 15897 15919 15924 15926 15926 WIP 15930 16023 إي سي إم ايه سكريبت 16750 17024 17025 17369 17799 18000 18004 18014 18245 18629 18916 19005 19011 19092 (-1 -2) 19114 19115 19125 19136 19439 19501:2005 19752 19757 19770 19775-1 19794-5
20000+	20000 20022 21000 21047 21827:2002 22000 23270 23271 23360 هيكل الترميز اللغوي 24707 25178 25964-1 26000 26300 26324 27000 series 27000 أيزو/أي إي سي 27001 27002 27003 27004 27005 27006 27007 معرف الاسم القياسي الدولي 27799 28000 29110 29199-2 29500 31000 32000 38500 42010 50001 80000 (-2)