Μια προδιαγραφή γλώσσας με ειδικές δομές και, μερικές φορές, επαλήθευση πρωτοκόλλων, χρησιμοποιείται για την ανάπτυξη, ανάλυση και έγγραφο απαιτήσεις υλικού ή λογισμικού.