Spec#与Boogie发布于CodePlex
我们可从CodePlex站点下载Spec#的源代码了，但要在微软研究共享许可协议（非商业用途）下使用。一个名为Boogie的代码验证工具也正式发布，该工具基于微软公共许可并符合开源标准。
InfoQ
InfoQ
促进软件开发领域知识与创新的传播
主题/标签专用视图
Spec#相关的内容
“Spec#”相关新闻
.NET 4特性聚焦：代码契约
显然，.NET 4.0中最重要的特性是以契约框架来支持独立于语言的设计。如果正确使用，通过契约来设计能够显著地减少软件中的潜在缺陷，与此同时还可以减少需要生成的单元测试的数量。
评论：C#正变得越来越臃肿
C# 2.0发布的时候，我们回头看Java，总认为这个语言怎么发展得这么慢？但当C#发展到3.0的时候，它也开始显示出臃肿之态了，这是否会也会带来什么连锁效应呢？
微软新语言Spec#终结Null引用异常
微软发布了Spec# 1.0版本。Spec#是C#的一个扩展，支持许多契约（contract）属性，如非Null类型系统，前置和后置条件，循环常量（loop invariant）和对象常量等。