Sebuah dokumen yang menyatakan, dalam cara yang lengkap, tepat, diverifikasi, persyaratan, desain, perilaku, atau karakteristik lain dari sistem atau komponen, dan, seringkali, prosedur untuk menentukan apakah ketentuan tersebut telah dipenuhi.