相关推荐：

• 形式化软件开发方法
• 2012学期上学期《软件形式化方法》期末考试试题
• 软件开发中为什么使用形式化方法
• 软件形式化方法-模拟题-3
• 形式化说明技术
• 形式化方法
• 形式化方法--程序的正确性验证-14
• 软件形式化方法
• 第1章 软件开发的形式化方法概述
• 形式化与UML结合的建模方法及其应用