#契约设计

      更多分类

按合同设计 - 了解有关OOP的新内容 Marcell Lipp

19-01-13 1 162 1 banq

在我学习计算机科学的过程中,我遇到了所谓的Hoare逻辑。它的主要思想是,对于每个命令/程序,您可以定义前提条件和后置条件。这些是逻辑表达式。在启动程序之前必须满足前提条件。主要是检查所有输入是否在... 详细

java接口传参还是传对象

12-12-13 10 2584 4 liujian1979

对于java接口传参,是传对象,还是传一个个参数?比如: boolean add(int cpid, String app_key, String app_secret, String app... 详细

事件、契约设计与BDD

12-10-17 22 2310 8 banq

最近看到@ gameboyLV 在 一个讨论 中提出将事件划分为嵌套事件,例如: 事件:客户提款(异步命令) 事件处理前:判断是否有足够的余额(同步命令) 事件处理: 扣款(同步命令) 事件处理后:发... 详细

Design by Contract (DBC) 契约式设计

09-05-21 3 4630 3 banq

DBC最早是有Bertrand Meyer 的 Eiffel programming language提出。DBC在Evans DDD的柔性设计中也谈到了。所以,DDD是集OO设计大成,正因为它是一个... 详细

共有 4