特定の条件下でシステムが示す振る舞いの記述

ビジネスアナリストが必要十分な程度に記述して、ソフトウェア要求仕様書に入れる

伝統的に 「しなければならない (shall)」 で記述する

例 : 「乗客は、チェックインしたフライト区間すべての搭乗券を印刷できなければならない」