第4章-形式化说明技术--软件工程.ppt

第四章形式化说明技术;;4.1概述;在开发大型软件系统的过程中应用数学，能够带来下述的几个优点：

数学最有用的一个性质是，它能够简洁准确地描述物理现象、对象或动作的结果，因此是理想的建模工具。数学特别适合于表示状态，也就是表示“做什么”。;事实上。。。。。。;其他的优点。。。。。;对形式化方法既不要过分夸大它的优点也不要一概排斥。为了更好地发挥这种方法的长处，下面给出应用形式化方法的几条准则，供读者在实际工作中使用。;(7)不应该放弃质量标准。

(8)不应该盲目依赖形式化方法。

(9)应该测试、测试再测试。

(10)应该重用。即使采用了形式化方法，软件重用仍然是降低软件成本和提高