Ένα έγγραφο (ή άλλο μέσο) που καθορίζει, σε πλήρη, ακριβή, επαληθεύσιμο τρόπο, τις απαιτήσεις, σχεδίασης, συμπεριφορά ή άλλα χαρακτηριστικά ενός συστήματος ή στοιχείο, και συχνά, οι διαδικασίες για τον προσδιορισμό του κατά πόσον ή δεν έχουν τηρηθεί οι διατάξεις αυτές.