שפה, לעיתים קרובות בשילוב מחשב-processible של שפה טבעית, רשמית, בשימוש להביע את הדרישות, עיצוב, התנהגות או מאפיינים אחרים של מערכת או רכיב. השפה לדוגמה, עיצוב שפה או דרישות מפרט.