Fork me on GitHub
2015年2月16日
软件工程——理论、方法与实践⑤
摘要： 第五章、软件工程中的形式化方法 本章涉及到离散数学与数据结构的知识，可见知识都是互通的。1.形式化方法基本概念分为形式规约、形式证明与验证、程序求精，形式证明与验证技术主要包括模型检测和定理证明。2.时态逻辑介绍了Kripke结构；一阶线性时态逻辑以队列及其操作与汉诺塔操作规划问题为例... 阅读全文
posted @ 2015-02-16 12:04 Yancy317 阅读(191) 评论(0) 推荐(0)