以一种基于良构数学概念的符号体系来编制需求规约，则称为_____________需求规约。
形式化
暂无解析
在软件开发中，软件系统模型大体上可分为两类：概念模型和（）
假设选修课程数目的输入范围为1-4，则根据黑盒测试中的等价类划分技术，下列划分正确的是（）
对于单___________个需求必须具有的基本性质：必要的、___________、可测的、___________以及可测量的。
