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