软件开发过程中，抽取和整理用户需求并建立问题域精确模型的过程叫（ ）。