أجب على الأسئلة في النهاية بناءً على النص  يعد تدوين Z لغة مواصفات رسمية تستخدم لوصف ونمذجة أنظمة الحوسبة. وهي تستهدف مواصفات واضحة لبرامج الكمبيوتر والأنظمة المستندة إلى الكمبيوتر بشكل عام.  في عام 1974، نشر جان ريموند أبريال "داتا سيمانتيكس". استخدم تدوينًا سيتم تدريسه لاحقًا في جامعة غرينوبل حتى نهاية الثمانينيات. أثناء وجوده في EDF (Électricité de France) ، كتب أبريال ملاحظات داخلية على Z. يتم استخدام تدوين Z في كتاب 1980 "Méthodes de programation".  تم اقتراح Z في الأصل من قبل Abrial في عام 1977 بمساعدة Steve Schuman و Bertrand Meyer. تم تطويره بشكل أكبر في مجموعة أبحاث البرمجة في جامعة أكسفورد، حيث عمل أبريال في أوائل الثمانينيات، بعد وصوله إلى أكسفورد في سبتمبر 1979.  قال أبريال أن Z تسمى هكذا "لأنها اللغة النهائية!" على الرغم من أن اسم "زيرميلو" يرتبط أيضًا بتدوين Z من خلال استخدامه لنظرية المجموعات Zermelo<unk>Fraenkel.  تعتمد Z على التدوين الرياضي القياسي المستخدم في نظرية المجموعات البديهية، وحساب اللامدا، والمنطق من الدرجة الأولى. يتم كتابة جميع التعبيرات في تدوين Z ، وبالتالي تجنب بعض مفارقات نظرية المجموعات السذجة. يحتوي Z على كتالوج موحد (يسمى "أدوات الرياضيات") من الوظائف الرياضية المستخدمة بشكل شائع والرسائل ، المحددة باستخدام Z نفسها.  1. ما هو نظام الكمبيوتر الذي تتحدث عنه المقالة؟ 2. ما الذي يستهدفه؟ 3. من الذي خلقها؟ 4. ماذا نشر في عام 1974؟ خمسة. أين كان يُدرس التدوين؟ ستة أي كتاب يستخدم هذا التدوين؟ سبعة. متى نشر الكتاب؟ ثمانية من ساعده على إنشائه؟ تسعة من غيرك؟ عشرة أين تم تطويره؟ - 11. لماذا يحمل هذا الاسم؟  إجابات مرقمة:
1. تدوين Z 2. مواصفات واضحة لبرامج الكمبيوتر 3. (جان ريموند أبريال) 4. معاني البيانات خمسة. جامعة جرينوبل ستة طرق البرمجة سبعة. عام 1980 ثمانية ستيف شومان تسعة (برتراند ماير) عشرة جامعة أكسفورد 11. استخدامها لنظرية المجموعات زيرميلو - فرانكل