現状と将来状態の差分を特定する活動を何と呼ぶか。

要求を定義する際、それが検証可能であることを確認するプロセスを何と呼ぶか。