在软件开发过程中，抽取和整理用户要求并建立问题论域精确模型的过程叫做______　。