Spec-Sharp

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.

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!");
    }
}

Siehe auch

• C#
• .NET

Weblinks

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

Why are we here?
All text is available under the terms of the GNU Free Documentation License
This page is cache of Wikipedia. History