وثيقة التي تحدد، في بطريقة كاملة ودقيقة يمكن التحقق منها، والمتطلبات التصميم، والسلوك أو الخصائص الأخرى لنظام أو مكون، و، في كثير من الأحيان، الإجراءات لتحديد ما إذا كان قد تم الوفاء بها هذه الأحكام.