需求规约是一个软件币／产品／系统所有需求陈述的__________，它表达了一个软件产品系统的__________。