מסמך המציין, באופן מלא, מדויק, לאימות, הדרישות, עיצוב, התנהגות או מאפיינים אחרים של מערכת או רכיב, לעתים קרובות, ההליכים לקביעת אם הוראות אלו התקיים.