اطلاعات مرتبط با تیتر زیر را جمع‌آوری کنید و یک خبر کوتاه بنویسید

تیتر: نشانه‌گذاری Z
خبر:
نشانه‌گذاری z یک زبان مشخصات رسمی است که برای توصیف و مدل سازی سیستم‌های محاسباتی استفاده می‌شود . هدف آن توصیف مشخصات واضح از برنامه‌های کامپیوتری و به‌طور کلی سیستم‌های مبتنی بر کامپیوتر است .