会员
周边
众包
新闻
博问
闪存
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
你猜我是谁丶
博客园
首页
新随笔
联系
订阅
管理
2017年5月7日
《构建之法》读后感3
摘要: 第6章 敏捷流程 —— 6.5 敏捷的故事 这一小节中有一个图表,对比了敏捷(Agile)、计划驱动(Plan-driven)、形式化的开发方法(Formal Method)的适用范围。里面提到的形式化的开发方法,其基本步骤是怎样的呢?为什么它能有极高的可靠性呢?下面是一些关于形式化方法特点的说明,
阅读全文
posted @ 2017-05-07 15:54 你猜我是谁丶
阅读(119)
评论(0)
推荐(0)
编辑
公告