Auf der Seite "Spec# for Visual Studio 2005" findet man jetzt Spec# zum Download. Gesprochen wird das "Speck-Sharp".
Auf obiger Seite wird kurz zusammengefasst, was Spec# ist:
Spec# is an experimental language that extends C# 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# runs on .NET Framework version 2.
Wer mehr Infos haben will, der wird auf der Homepage von Spec# fündig. Dort ist auch ein Link zum Download für Visual Studio 2003, aber der ist derzeit tot.