单项选择题 下列哪项不属于应用形式化方法的准则（）。

单项选择题 （）是软件定义时期的最后一个阶段。

单项选择题 （）是软件开发过程中普遍存在的一种内在现象。