单项选择题 （）图既能表达数据结构，也能表达程序结构。

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

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