十一月 13, 2008

微软推出Spec#语言,对C#进行了扩展

Written by

    Spec# is an experimental language that extends C# (version 2) with several design-by-contract features. The new features of Spec# include a non-null type system, method pre- and post-conditions, loop invariants, and object invariants. The Spec# Programming System provides design-time checking, run-time checking, and a static verifier. This version of Spec# works with Visual Studio 2005/2008.

到这里下载Spec# works with Visual Studio 2008

Category : .NetC#WPF其他

Tags :

发表评论

电子邮件地址不会被公开。

Proudly powered by WordPress and Sweet Tech Theme