Dokumen (atau media lain) yang menentukan, dalam cara yang lengkap, tepat, diverifikasi, persyaratan, desain, perilaku, atau karakteristik lain dari sistem atau komponen, dan sering, prosedur untuk menentukan apakah ketentuan tersebut telah dipenuhi.