软件形式化方法选编.pptx

软件形式化方法;课程介绍;课程参考教材;课程考核;形式化思想;例子：电梯控制系统（自然语言描述）;例子：UML描述（半形式化）;例子：电梯控制系统（程序语言描述）;例子：电梯控制系统（有限状态机描述）;软件的规约表示;软件危机;项目进度难控;软件维护困难;典型的软件项目开发;质量无法保证;软件质量的重要方面;如何解决软件危机;软件工程中的生命周期;软件工程 vs 形式化方法;软件开发中为什么使用形式化方法;软件开发中为什么使用形式化方法;演示;哲学家吃饭问题;形式化方法;形式化方法的主要内容;形式化方法的发展;经典案例及应用;经典案例及应用;经典案例及应用;经典案例及应用;形式化方法讨论