第章绪论 1.1 形式化方法概述 1.2软件开发中的形式化方法什么是形式化方法？“形式化”是相对“非形式化”或“半形式化”而言的一种分析问题、解决问题的思维方法。“形式化”是为了获得对问题(研究对象)的本质(逻辑的或数学的)认识，将问题(研究对象)从形形色色的具体背景中抽象出来，加以纯粹“符号化”以及严格“数学化”处理的思维方法和过程。什么是形式化方法？”形式化”可以定义为: 完全彻底的 抽象化+符号化+公理化 思维的过程返 回什么是形式化方法？形式化方法是按照严格的数学逻辑规范对问题(研究对象)的本质进行形式化的抽象、定义、描述、建模、推理和验证等一整套理论和方法的总称。形式化方法的起源 形式化方法的起源与现代逻辑学、语言学以及数学基础等领域的发展有着十分密切的关系。 我们知道，逻辑上的严密性和表达上的简洁性，即避免出现所谓的逻辑悖论和不必要的冗余，是任何现代科学理论体系都不可或缺的生命力和价值所在。 形式化方法的正是为了追求上述领域理论体系的严密性和简洁性而逐步发展起来的。 随着现代科学技术的发展，形式化已成为许多学科领域，特别是数学和计算科学中最基本的研究方法和科学规范。形式化方
