Itt adható meg, teljes, pontos, ellenőrizhető módon, követelményeinek, design, viselkedést vagy egyéb jellemzői, és a rendszer vagy alkatrész, gyakran, az eljárásokat annak meghatározására, hogy teljesülnek-e ezek a rendelkezések a dokumentumot.