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