InfoQ

InfoQ

主题/标签专用视图

Spec#相关的内容


“Spec#”相关新闻

Spec#与Boogie发布于CodePlex

主题
代码分析,
.NET,
调试,
语言设计,
编程,
Spec#,
静态分析

我们可从CodePlex站点下载Spec#的源代码了,但要在微软研究共享许可协议(非商业用途)下使用。一个名为Boogie的代码验证工具也正式发布,该工具基于微软公共许可并符合开源标准。

.NET 4特性聚焦:代码契约

主题
质量,
.NET,
单元测试,
软件工匠,
编程,
测试驱动开发,
语言设计,
测试,
Spec#,
敏捷

显然,.NET 4.0中最重要的特性是以契约框架来支持独立于语言的设计。如果正确使用,通过契约来设计能够显著地减少软件中的潜在缺陷,与此同时还可以减少需要生成的单元测试的数量。

呼吁微软发布Spec#

主题
.NET框架,
.NET,
语言设计,
编程,
Spec#

上月,Greg Young鼓动起草根阶层的力量,呼吁微软发布Spec#。

评论:C#正变得越来越臃肿

主题
C#,
F#,
.NET框架,
.NET,
编程,
Spec#,
评论,
LINQ

C# 2.0发布的时候,我们回头看Java,总认为这个语言怎么发展得这么慢?但当C#发展到3.0的时候,它也开始显示出臃肿之态了,这是否会也会带来什么连锁效应呢?

微软新语言Spec#终结Null引用异常

主题
.NET,
Spec#,
编程

微软发布了Spec# 1.0版本。Spec#是C#的一个扩展,支持许多契约(contract)属性,如非Null类型系统,前置和后置条件,循环常量(loop invariant)和对象常量等。