Microsoft Research stellt Spec# vor

Spec# ist eine Erweiterung für C# zum Formulieren von API-Kontrakten. Microsoft Research bietet jetzt Informationen und eine Downloadmöglichkeit zum neuen Programmiersystem Spec# an. Spec# ist laut Microsoft Research ein neuer Ansatz, hochqualitative Software kosteneffektiver zu entwickeln und zu pflegen. Spec# ist eine Erweiterung von C#. Es erweitert dessen Typ-System und bietet neue Kontrakt-Methoden und sein Compiler integriert sich in Visual Studio. Ausserdem ist ein Verfikationssystem für Spec#-Anwendungen (Codename: Boogie) vrfügbar, das Fehler in Spec#-Anwendungen aufdecken soll. (ph/.np) http://research.microsoft.com/en-us/projects/specsharp/