Object-Z هي إضافة موجهة نحو الكائنات للمذهب Z التي طورت في جامعة كوينزلاند في أستراليا. تعتبر Object-Z تمديدًا للغة Z من خلال إضافة بنى لغوية تشبه البرمجة الموجهة نحو الكائنات، ومن بين هذه البنى أهمها الفصول (Classes). كما يتم دعم مفاهيم أخرى مرتبطة بالبرمجة الموجهة نحو الكائنات مثل التعددية (Polymorphism) والوراثة (Inheritance). على الرغم من عدم شهرة Object-Z مقارنة بلغة Z الأساسية، إلا أنها لا تزال تحظى بانتباه كبير في مجتمع الأساليب الشكلية، ويستمر البحث في جوانب مختلفة من اللغة، بما في ذلك اللغات المختلطة التي تستخدم Object-Z، ودعم الأدوات (مثل مشروع Community Z Tools) وحسابات التنقية. تتميز Object-Z بميزات عدة، مثل دعم التعليقات والتبويب الدلالي والتعليقات على السطر، وتعتبر مصدرًا مركزيًا للبحث والتطوير في جامعة كوينزلاند. يمكن الاطلاع على مزيد من المعلومات حول Object-Z عبر الرابط التالي: ويكيبيديا.
0
