متن زیر چه موضوعی را مورد بحث قرار داده است؟

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