Spec-Sharp
Spec# ist eine von Microsoft entwickelte objektorientierte Programmiersprache, die eine Erweiterung zum etablierten C# ist. Sie ist kostenlos und u.a. für die Entwicklungsumgebungen Visual Studio 2003 und Visual Studio 2005 verfügbar.
Programmierbeispiel
Die folgenden Zeilen geben einen kleinen Einblick in den Aufbau und die Verwendung von Spec#. Hierbei handelt es sich um den Start-Quelltext, der von Visual Studio 2005 über den Projekt-Wizard für ein Konsolen-Programm generiert wird:
using System; public class Program { static void Main(string![]! args) // The following precondition is redundant with the type // signature for the parameter, but shown here as an example. requires forall{int i in (0:args.Length); args[i] != null}; { Console.WriteLine("Spec# says hello!"); } }