שפת מפרט
specification language
שפה כוונת-יישום, לעִתים קרובות - שילוב של שפה טבעית עם שפה מלאכותית, הניתן לעיבוד במחשב, המשמשת לביטוי דרישות, תכן, התנהגות או אופיינים אחרים של מערכת או של רכיב, והמספקת מבנים לשוניים מיוחדים, ולעיתים גם פרוטוקולי אימות, המשמשים לפיתוח, ניתוח ותיעוד של הישויות המפורטות בשפה.