لغة، وكثيراً ما آلة بروسيسيبلي مزيج من اللغة الطبيعية ورسمية، تستخدم للتعبير عن المتطلبات التصميم، والسلوك أو الخصائص الأخرى لنظام أو مكون. اللغة على سبيل المثال، مواصفات اللغة أو متطلبات تصميم.