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