BT

如何利用碎片时间提升技术认知与能力? 点击获取答案

rss
他的粉丝

Spec#与Boogie发布于CodePlex

作者 Jonathan Allen 关注 595 他的粉丝 ,译者 王波 关注 0 他的粉丝   发布于  2009年8月11日

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

他的粉丝

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

作者 Jonathan Allen 关注 595 他的粉丝 ,译者 朱永光 关注 0 他的粉丝   发布于  2008年12月9日

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

他的粉丝

呼吁微软发布Spec#

作者 James Vastbinder 关注 0 他的粉丝 ,译者 张逸 关注 12 他的粉丝   发布于  2008年6月10日

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

他的粉丝

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

作者 王翔 关注 0 他的粉丝 发布于  2007年7月31日 1

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

他的粉丝

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

作者 Jonathan Allen 关注 595 他的粉丝 ,译者 霍泰稳 关注 1 他的粉丝   发布于  2007年4月25日

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

登陆InfoQ,与你最关心的话题互动。


找回密码....

Follow

关注你最喜爱的话题和作者

快速浏览网站内你所感兴趣话题的精选内容。

Like

内容自由定制

选择想要阅读的主题和喜爱的作者定制自己的新闻源。

Notifications

获取更新

设置通知机制以获取内容更新对您而言是否重要

BT