Ren*_*uis 9 .net design-by-contract
Microsoft刚刚发布了Code Contracts,这是一个与Visual Studio集成的工具,允许您为.Net代码定义合同并获得运行时和编译时间检查.
目前它是一个附加组件,但它将成为.Net 4.0中基类库的一部分
这是你看到自己使用的东西吗？
我想知道这是否意味着Spec#的死亡？
更新
我对Spec#的死是什么意思,我们现在有2个不同的项目来编写合同:
Spec#是C#的演变,它引入了新的关键字和行为; 另一方面,微软刚刚发布的是一个可以与任何.Net语言一起使用的库.
由于后者看起来会成为事实上的标准,我想知道它在哪里留下规格#