design-by-contract
-
弱前置条件和强后置条件问题？
-
加强和削弱前和 post 条件
-
拯救如何进一步提高或忘记例外
-
了解埃菲尔环路 variant/invariant
-
eiffel：断言开启时显式执行代码的语句
-
Ada 2012 中的自定义条件失败消息
-
estudio 在应该检查 `require` 的时候不检查？
-
Node.JS服务层设计
-
前置条件方法应该是 public 还是私有的？
-
是否可以在编译时强制执行契约设计检查？
-
返回空与异常与合同
-
埃菲尔：附加检查要求声明中的未知标识符
-
存储输入值以检查在应用按合同设计时后置条件是否成立
-
Java Cofoja 在 eclipse 中不工作
-
Visual Studio 2017 不支持代码契约，如何使用 PostSharp 实现它？
-
如果不存储更改，存储库是否应该抛出异常？
-
Spring 云合约：在 URL 生成的合约响应中访问主机名和端口
-
Perl 6 本身是否支持契约式设计？
-
通过合同设计 (DBC) 违反里氏替换原则 (LSP)？
-
如何 document/assert 当继承仅对某些最终类型产生先决条件时