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