会员
众包
新闻
博问
闪存
赞助商
HarmonyOS
Chat2DB
所有博客
当前博客
我的博客
我的园子
账号设置
会员中心
简洁模式
...
退出登录
注册
登录
Mr.Coder 's Blog
原创文章,尊重版权,欢迎交流。
博客园
首页
新随笔
联系
管理
订阅
2014年10月28日
契约式设计(DbC)感想(二)
摘要: 契约式设计6大原则的理解在《Design by Contract原则与实践》中,作者定义了契约式设计的6大原则:区分命令和查询;将基本查询和派生查询区分开;针对每个派生查询,设定一个后验条件,使用一个或多个基本查询的结果来定义它;对于每个命令都撰写一个后验条件,规定每个基本查询的值;对于每个查询和命...
阅读全文
posted @ 2014-10-28 21:15 Mr.Coder
阅读(468)
评论(0)
推荐(0)
公告