2014年10月25日
契约式设计（DbC）感想（一）
摘要： 契约式设计可以理解为正则编程的一种实践：如果用我的三脚猫能力将这种实践方法形式化的话，大致如下（如有不正确处，请不吝指正）：1、对于方法Method的precondition & postcondition： Function(RegularMthod) = ^ RegularFunctio... 阅读全文
posted @ 2014-10-25 22:10 Mr.Coder 阅读(1238) 评论(0) 推荐(1)