软件形式化方法陈铁明/王婷tmchen/课程介绍 通过本课程的学习，使同学了解软件开发中形式化方法的基本概念和原理，掌握几种常用的软件系统形式化描述方法（有限状态机、CSP、Z语言、时序逻辑等）和验证方法，并能够应用这些技术对软件系统进行形式描述和分析。 分析问题、解决问题的能力，锻炼逻辑思维。课程参考教材 软件开发的形式化方法，古天龙编，2005，高等教育出版社 课程PPT课程考核 总成绩 = 课程作业（50%） + 期末考试（50%） 形式化思想 广义上，舍弃事物物质内容，只取形式结构，只考虑形式不考虑内容的一种看待、处理问题的思想。 以数学为例，可以表示为完全形式化的东西，一切数学都可以由符号加以形式地表述。 概念形式化： 原理形式化：勾股定理 在三角形ABC中，C=90。，则三条边a,b,c满足a2+b2=c2 具有两个基本特点： 自然语言符号化，抽象概括为形式语言； 对直观意义的推理关系进行语义刻画和语法刻画。例子：电梯控制系统（自然语言描述）6例子：UML描述（半形式化）7u 一种具有良好语法和语义定义的形式描述方法u 但无法或很少支持以数学为基础的形式分析和推理过程例子：
