(1) Η προδιαγραφή γραπτή και εγκριθεί σύμφωνα με το εγκατεστημένο standards.~(2) μια προδιαγραφή που έχει συνταχθεί σε μια τυπική Σημείωση, συχνά για χρήση στην απόδειξη της ορθότητας.