2017年2月19日
阅读构建之法第六章
摘要： 这一小节中有一个图表，对比了敏捷（Agile）、计划驱动（Plan-driven）、形式化的开发方法（Formal Method）的适用范围。里面提到的形式化的开发方法，其基本步骤是怎样的呢？为什么它能有极高的可靠性呢？下面是一些关于形式化方法特点的说明，从中可以看出它能力的缘由。 形式化方法建立在 阅读全文
posted @ 2017-02-19 20:47 大神笨蛋 阅读(142) 评论(0) 推荐(0) 编辑