Vaatimukset, suunnittelu, käyttäytymistä tai muita järjestelmän tai komponentin ominaisuuksia käyttää kieltä, usein koneen sulatyöstettävä yhdistelmä luonnon ja virallinen kieli. Esimerkiksi muotokieli tai requirements specification-kielen.