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