26. Sep 2008, 23:03

Spec#
Paradigmen:	Objektorientierte Programmiersprache
Entwickler:	Microsoft
Aktuelle Version:	1.0.11215  (15. Dezember 2007)
Typisierung:	stark
Einflüsse:	C#
Betriebssystem:	alle mit CLR
http://research.microsoft.com/SpecSharp

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, Visual Studio 2005 und Visual Studio 2008 verfügbar.

[Bearbeiten] 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 eine Konsolenanwendung 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!");
    }
}

[Bearbeiten] Siehe auch

• C#
• .NET

[Bearbeiten] Weblinks

• Offizielle Webseite (Englisch)
• Expert to Expert: Contract Oriented Programming and Spec# (Erik Meijer im Gespräch mit den Spec#-Designern auf Channel9)

Dieser Artikel ist eine Kopie aus der freien Enzyklopädie Wikipedia. Am Originalartikel kann jeder Korrekturen und Ergänzungen vornehmen. Zudem kann man frühere Versionen einsehen.

Abkürzungen • Dateiendungen • Netzjargon