需求规约是软件开发组织和用户之间一份事实上的_____，是产品功能及其环境体系。