Racket：高阶函数合约
我正在使用 Racket 合约系统，我想导出一个没有参数的函数，它返回一个没有参数的 lambda 表达式，例如： #lang racket (define (foo) (do-somthing) …
JSON RESTful Web 服务是否应该使用数据契约
这其实是一个设计问题。 我想知道携带 JSON 有效负载的 Spring3.0 REST Web 服务是否提供某种类似于遵循契约优先设计的传统 Web 服务的数据契约。 我…
Design by Contract：我们可以用合约来表达Stack FILO的属性吗？
合同设计似乎受到明示规格的限制。例如，我尝试用契约来表达 Stack FILO 属性，但没有得到任何想法。有人可以帮忙吗？ 我认为根本原因是前置条件/…
为什么 VS 2010 中没有出现“代码契约”选项卡？
前几天我看到了代码合约的演示，并决定在一个小测试项目中尝试一下。 在向类添加“using System.Diagnostics.Contracts”语句后，我可以适当地设置我…
如何通过契约定义 IEnumerable 行为？
考虑这 2 个返回 IEnumerable 的方法： private IEnumerable GetYieldResult(int qtResult) { for (int i = 0; i < qtResult; i++) { count++; yield …
PHP 中的合约编程
通过契约编程是 .NET 中的现代趋势，但是 PHP 中代码契约的库/框架又如何呢？您认为这种范例对 PHP 的适用性如何？ 谷歌搜索“code Contracts php”对…
Common Lisp 的合约库设计？
来自 Clojure 的背景，我被它的前置/后置条件作为契约设计基础的潜力所吸引： ;; sqr.clj (defn sqr [n] {:pre [(not= 0 n) (number? n)] :post [(pos…
有人有使用合同设计指标的经验吗？或者可以推荐指标来衡量合同设计在代码库中的使用情况？
目前，我们正在向大约 60 名开发人员组成的软件开发团队引入合同设计，他们正在开发不同的组件。我们首先为 C# 和 Java 定义合同设计策略。为了衡量进…
除了 XINS 之外，还使用 Java 进行 eXtreme 合同设计？
是否有类似于 按合同设计的 Java 项目技术解决方案http://www.xins.org/" rel="nofollow noreferrer">XINS？我正在寻找强制开发人员首先为其应用程序…
我是否错误地执行了这个简单的合同？
这是我的代码： public class RegularPolygon { public int VertexCount; public double SideLength; public RegularPolygon(int vertexCount, double…
代码契约：为什么有些不变量不在类之外考虑？
考虑这个不可变类型： public class Settings { public string Path { get; private set; } [ContractInvariantMethod] private void ObjectInvariant…
