{specification language} [رایانه و فنّاوری اطلاعات] زبانی صوری بر پایۀ روش های ریاضی برای مدل سازی و بیان مشخصات سامانه متـ . زبان مشخصات
