当前分类：design-by-contract

c# - 哪个第 3 方契约(Contract)代码库最像 MS 的 .NET 4.0 库？

c# - 当使用 Contract.Assert(true) 并且该方法必须返回某些内容时该怎么办？

c# - 为什么我仍然得到代码契约(Contract) : Ensure unproven warning?

c# - 代码契约(Contract) : How do I state in a post-condition that a field/property's value has not changed?

c# - 如何在 C# 中证明方法永远不会返回 null(按契约(Contract)设计)

c - 如何在编译时执行接口(interface)契约(在 C 中)？

c - 用 C 语言进行契约(Contract)设计，用于自动定理证明

java - 契约(Contract)设计中哪些先决条件是合理的？

java - 如何为抽象方法编写契约？

java - 按契约设计和类不变量

java - 何时添加前提条件以及何时(仅)抛出异常？

java - 您有任何有效使用 Java Assert 的技巧吗？

java - 我的类是否应该限制开发人员对它们做错事？

java - 如何对我的方法输入参数设置验证约束？

java - 按契约(Contract)设计和断言声明

iphone - 按契约(Contract)为 Objective-C 设计？

objective-c - 为什么在项目中使用 'assert'？ (以及为什么多次使用它)

c++ - 使用范围守卫作为代码契约

xml - WCF 契约(Contract)第一个 : No methods are exposed

c# - 由契约(Contract)和 build 者设计

热门标签：

编程
数据结构与算法
其他

©2024 IT工具网  联系我们