Microsoft Research stellt Spec# vor

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. Außerdem ist ein Verfikationssystem für Spec#-Anwendungen (Codename: Boogie) vrfügbar, das Fehler in Spec#-Anwendungen aufdecken soll. [bl]

Info:
http://research.microsoft.com/en-us/projects/specsharp/