「<条件>の場合、システムは<動作>しなければならない」という構文パターンを何と呼ぶか。

EARS (Easy Approach to Requirements Syntax) は、自然言語での要求記述を定型化し曖昧さを排除する手法である。