عرض مصطلح معلوماتية

لغة توصيف | specification language
لغةُ حاسوبٍ موجّهةٌ للتطبيقات، غالباً ما تكون تركيباً من لغةٍ طبيعيةٍ ولغةٍ صورية يمكِن معالجتُه من قبل الآلة. تُستعمل هذه اللغةُ للتعبير عن المتطلبات، أو التصميم، أو السلوك، أو الميزات الأخرى لنظامٍ أو مكوِّن. من أمثلتها لغةُ التصميم أو لغةُ توصيف المتطلبات.