عرض مصدر تدوين زد

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

== تاريخيا ==
في [[1974]] نشرت جين رايموند ابيرال "بيانات دلالية"".<ref>[[Jean-Raymond Abrial]], "Data Semantics". In Klimbie and Koffeman (eds), ''Data Base Management'', [[إلزيفير]], pp. 1–59.</ref> باستخدام تدوين زد الذي اقترحه ابرايل بمساعدة ستيفن شومان وبرتران ماير عام [[1977]] <ref>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</ref> وقدمت جامعة اكسفورد مجموعة بحوث عنه، ودُرِسَ في [[جامعة]] جرونوبل عام [[1980]]، بينما كتب ابرايل مذكرات بواسطة تدوين زد، وتم استخدام تدوين زد في عام [[1980]](كتاب Méthodes de programmation <ref>[[برتراند ماير]] and Claude Baudoin, ''Méthodes de programmation''. [[Eyrolles]], 1980.</ref>
)

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

== المعايير ==
في عام [[2002]] انهت [[المنظمة الدولية للمعايير]] (تنميط) توحيد مقاييس زد، ويمكن الحصول على هذا التنميط مباشرة من المنظمة الدولية للمعايير.<ref>{{استشهاد بكتاب
 | عنوان = Information Technology — Z Formal Specification Notation — Syntax, Type System and Semantics
 | إصدار = [http://www.iso.ch/iso/en/CatalogueDetailPage.CatalogueDetail?CSNUMBER=21573 ISO/IEC 13568:2002]
 | تاريخ = 2002-07-01
 | مسار = http://standards.iso.org/ittf/PubliclyAvailableStandards/c021573_ISO_IEC_13568_2002(E).zip
 | تنسيق = 1 MB PDF
 | صفحات = 196 pages
|مسار أرشيف= https://web.archive.org/web/20170705113346/http://standards.iso.org/ittf/PubliclyAvailableStandards/c021573_ISO_IEC_13568_2002(E).zip|تاريخ أرشيف=2017-07-05}} </ref>

== للاستزادة ==
* {{استشهاد بكتاب
 |    مؤلف = [[John Michael Spivey|J. Michael Spivey]]
 |     عنوان = The Z Notation: A reference manual
 |   إصدار = 2nd edition
 |      سنة = 1992
 |      الرقم المعياري = 
 | ناشر = Prentice Hall International Series in Computer Science
 |       مسار = http://spivey.oriel.ox.ac.uk/mike/zrm/
|مسار أرشيف= https://web.archive.org/web/20180130070904/http://spivey.oriel.ox.ac.uk:80/mike/zrm/|تاريخ أرشيف=2018-01-30}}
* {{استشهاد بكتاب
 |    مؤلف = {{Ill-WD2|جيم ديفيز|id=Q6194548}} and [[جيم ودكوك]]
 |     عنوان = Using Z: Specification, Refinement and Proof
 |      سنة = 1996
 |      الرقم المعياري = 0-13-948472-8
 | ناشر = Prentice Hall International Series in Computer Science
 |       مسار = http://www.usingz.com/text/online/
|مسار أرشيف= https://web.archive.org/web/20160303175559/http://www.usingz.com/text/online/|تاريخ أرشيف=2016-03-03}}
* {{استشهاد بكتاب
 |    مؤلف = [[جوناثان بوين]] 
 |     عنوان = Formal Specification and Documentation using Z: A Case Study Approach
 |      سنة = 1996
 |      الرقم المعياري = 1-85032-230-9
 | ناشر = International Thomson Computer Press
 |       مسار = http://www.zuser.org/zbook
|مسار أرشيف= https://web.archive.org/web/20190318013017/http://www.zuser.org/zbook|تاريخ أرشيف=2019-03-18}}
* {{استشهاد بكتاب
 |    مؤلف = Jonathan Jacky
 |     عنوان = The Way of Z: Practical Programming with Formal Methods
 |      سنة = 1997
 |      الرقم المعياري = 0-521-55976-6
 | ناشر = Cambridge University Press
 |       مسار = http://staff.washington.edu/jon/z-book/
|مسار أرشيف= https://web.archive.org/web/20180907182237/http://staff.washington.edu:80/jon/z-book/|تاريخ أرشيف=2018-09-07}}

== وصلات خارجية ==
;عام
* [http://formalmethods.wikia.com/wiki/Z The World Wide Web Virtual Library: The Z notation], by [[جوناثان بوين]]
* [https://web.archive.org/web/20161230135158/https://www.cs.york.ac.uk/hise/Zstandard/ Specification proposals by Ian Toyn]
* [http://www.w3.org/TR/wsdl20/wsdl20-z.html W3C WSDL 2.0] a specification containing Z notation assertions and explanation

;أدوات
* [http://czt.sourceforge.net/ Community Z Tools (CZT) project]
* [http://zwordtools.sourceforge.net/ Tools for developing and checking Z specifications] in [[مايكروسوفت وورد]]
* [https://web.archive.org/web/20170715070107/http://spivey.oriel.ox.ac.uk/mike/fuzz/ Mike Spivey's Fuzz Type-Checker for Z]
* [https://web.archive.org/web/20120210174001/http://www.uni-koblenz.de/~winter/Lehre/SS01/ZEves/ZEves.html Z/Eves — A proof checker for the Z notation] (German site but all manuals in English)
* [http://www.oracanada.com/z-eves/welcome.html Z/EVES] Documentation, papers, and manuals on Z/EVES
* [http://uebb.cs.tu-berlin.de/zeta/ ZETA open-source system for development software specifications in Z]
* [http://www.brucker.ch/projects/hol-z HOL-Z open-source proof environment for Z in Isabelle/HOL]
* [https://web.archive.org/web/20190411195230/http://erz.comli.com/ ERZ: Tool for transform ER model to Z Notation equivalent], by Luis Espino
* [https://web.archive.org/web/20170304193431/https://www.cs.york.ac.uk/hise/cadiz/ CADiZ], a set of free software tools that assist use of Z notation

== المراجع ==
{{مراجع}}
{{معايير الأيزو}}
{{شريط بوابات|عقد 1970|برمجة الحاسوب}}

{{ضبط استنادي}}

[[تصنيف:تدوين زد| ]]
[[تصنيف:استحداثات متعلقة بالحواسيب في 1977]]
[[تصنيف:علم الحاسوب]]
[[تصنيف:لغات المواصفات]]