摘要: 契约式设计6大原则的理解在《Design by Contract原则与实践》中,作者定义了契约式设计的6大原则:区分命令和查询;将基本查询和派生查询区分开;针对每个派生查询,设定一个后验条件,使用一个或多个基本查询的结果来定义它;对于每个命令都撰写一个后验条件,规定每个基本查询的值;对于每个查询和命... 阅读全文
posted @ 2014-10-28 21:15 Mr.Coder 阅读(468) 评论(0) 推荐(0)