当前分类：design-by-contract

.net - .NET 4.0 的契约设计与 Eiffel 相比如何？

haskell - 将契约设计与类型系统进行比较

orm - DDD : the Repository contract

java - 设计困境——背景还是契约？ (Java/ Kotlin )

java - 返回 Null、异常、契约

java - 将 Cofoja 与 Wicket 一起使用(甚至仅与 Maven 一起使用)

java - LSP 对像 Ruby 这样的动态类型语言也有意义吗？

java - 如何扫描使用 COFOJA 编写的契约(Contract)中使用的注释？

java - 字符串元素内的 XML 与独立元素

java - 按契约(Contract)库(界面)设计的想法？

python - 单元测试中如何强调对输入数据的限制？

python - 我如何知道Python的contract.py哪个合约失败了？

python - 在Python中， "A requirement that should be satisfied by the function before it ends."是后置条件的正确定义吗？

java - 如何通过 Cofoja 使用离线字节码编写器？

java - 按契约(Contract)设计寻找先决条件

java - java 中的参数检查或契约设计 (GWT)。从哪儿开始？

css - 在 Web 开发中编写 CSS 使用契约(Contract)的最佳方式是什么？

java - 返回 'false' 是方法的有效后置条件吗？

java - 带有断言的契约(Contract)部分设计

java - 如何在 Java 中强制执行自定义类实例不变量

热门标签：

编程
数据结构与算法
其他

©2024 IT工具网  联系我们