单项选择题
下列哪项不属于应用形式化方法的准则（）。
A.应该估算成本B.应该建立详细的文档C.可以放弃质量标准D.应该重用
单项选择题 （）是软件定义时期的最后一个阶段。
单项选择题 （）是软件开发过程中普遍存在的一种内在现象。
单项选择题 模型检测方法存在的问题不包括（）。
