تدوين زد
هذه المقالة يتيمة حيث أن عددًا قليلاً من المقالات أو لا مقالات إطلاقًا تصل إليها. ساعد من فضلك بإضافة وصلات في المقالات ذات العلاقة. (مايو_2011) |
تدوين زد (بالإنجليزي: Z notation) وهو مواصفات اللغة الرسمية تستخدم لوصف النظام ونظم النمذجة الحاسوبية، يستهدف مواصفات واضحة لبرامج الكمبيوترو الأنظمة المعتمدة على الحاسوب، سمي بعد نظرية زيرميلو- فرانكل.
تاريخيا
في 1974 نشرت جين رايموند ابيرال "بيانات دلالية"".[١] باستخدام تدوين زد الذي اقترحه ابرايل بمساعدة ستيفن شومان وبرتران ماير عام 1977 [٢] وقدمت جامعة اكسفورد مجموعة بحوث عنه، ودُرِسَ في جامعة جرونوبل عام 1980، بينما كتب ابرايل مذكرات بواسطة تدوين زد، وتم استخدام تدوين زد في عام 1980(كتاب Méthodes de programmation [٣] )
استخدامه
تدوين زد مبني على ترميز رياضي موحد يستخدم في نظرية المجموعات البديهية, تفاضل لامبدا ومنطق الرتبة الاولى. يتم كتابتها كل التعبيرات في تدوين زد, بالتالي تجنب بعض التناقضات في نظرية الفئات البديهية، يحتوي تدوين زد على جدول موحد يستخدم الدوال الرياضية والأدلة.
المعايير
في عام 2002 انهت المنظمة الدولية للمعايير (تنميط)توحيد مقاييس زد، ويمكن الحصول على هذا التنميط مباشرة من المنظمة الدولية للمعايير [٤].
اقرأأيضا
- J. Michael Spivey (1992). The Z Notation: A reference manual (2nd edition ed.). Prentice Hall International Series in Computer Science. [٢].
- Jim Davies and Jim Woodcock (1996). Using Z: Specification, Refinement and Proof. Prentice Hall International Series in Computer Science. ISBN 0-13-948472-8. [٣].
- Jonathan Bowen (1996). Formal Specification and Documentation using Z: A Case Study Approach. International Thomson Computer Press. ISBN 1-85032-230-9. [٤].
- Jonathan Jacky (1997). The Way of Z: Practical Programming with Formal Methods. Cambridge University Press. ISBN 0-521-55976-6. [٥].
وصلات خارجية
- عام
- The World Wide Web Virtual Library: The Z notation, by Jonathan Bowen
- 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 Microsoft Word
- 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, North-Holland, 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
- ^ Bertrand Meyer and Claude Baudoin, Méthodes de programmation. Eyrolles, 1980.
- ^ (1 MB PDF) Information Technology — Z Formal Specification Notation — Syntax, Type System and Semantics (ISO/IEC 13568:2002 ed.). 2002-07-01. pp. 196 pages. [١].
de:Z-Notation Z notation]] es:Lenguaje Z fr:Notation Z it:Notazione Z ja:Z言語 lt:Z notacija ms:Tatatanda Z pt:Z notation ru:Z-нотация uk:Z нотація yo:ISO/IEC 13568