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