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