Spec# ist eine von Microsoft Research entwickelte objektorientierte Programmiersprache, die eine Erweiterung zum etablierten C# ist.Sie ist kostenlos und u.a. für die Entwicklungsumgebungen Microsoft Visual Studio 2003, 2005 und 2008 verfügbar und bildet zusätzlich den Grundstock für Sing#. Diese Sprache wurde für das Projekt Singularity entwickelt.

Property Value
dbo:abstract
  • Spec# ist eine von Microsoft Research entwickelte objektorientierte Programmiersprache, die eine Erweiterung zum etablierten C# ist.Sie ist kostenlos und u.a. für die Entwicklungsumgebungen Microsoft Visual Studio 2003, 2005 und 2008 verfügbar und bildet zusätzlich den Grundstock für Sing#. Diese Sprache wurde für das Projekt Singularity entwickelt. (de)
  • Spec# ist eine von Microsoft Research entwickelte objektorientierte Programmiersprache, die eine Erweiterung zum etablierten C# ist.Sie ist kostenlos und u.a. für die Entwicklungsumgebungen Microsoft Visual Studio 2003, 2005 und 2008 verfügbar und bildet zusätzlich den Grundstock für Sing#. Diese Sprache wurde für das Projekt Singularity entwickelt. (de)
dbo:developer
dbo:influencedBy
dbo:latestReleaseDate
  • 2011-10-07 (xsd:date)
dbo:latestReleaseVersion
  • SpecSharp 2011-10-03
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 1751577 (xsd:integer)
dbo:wikiPageRevisionID
  • 145432441 (xsd:integer)
prop-de:beschreibung
  • Objektorientierte Programmiersprache
prop-de:betriebssystem
  • alle mit CLR
prop-de:erscheinungsjahr
  • 2004 (xsd:integer)
prop-de:paradigma
prop-de:typisierung
dct:subject
rdf:type
rdfs:comment
  • Spec# ist eine von Microsoft Research entwickelte objektorientierte Programmiersprache, die eine Erweiterung zum etablierten C# ist.Sie ist kostenlos und u.a. für die Entwicklungsumgebungen Microsoft Visual Studio 2003, 2005 und 2008 verfügbar und bildet zusätzlich den Grundstock für Sing#. Diese Sprache wurde für das Projekt Singularity entwickelt. (de)
  • Spec# ist eine von Microsoft Research entwickelte objektorientierte Programmiersprache, die eine Erweiterung zum etablierten C# ist.Sie ist kostenlos und u.a. für die Entwicklungsumgebungen Microsoft Visual Studio 2003, 2005 und 2008 verfügbar und bildet zusätzlich den Grundstock für Sing#. Diese Sprache wurde für das Projekt Singularity entwickelt. (de)
rdfs:label
  • Spec-Sharp (de)
  • Spec-Sharp (de)
owl:sameAs
prov:wasDerivedFrom
foaf:homepage
foaf:isPrimaryTopicOf
foaf:name
  • Spec# (de)
  • Spec# (de)
foaf:page
is dbo:influencedBy of
is dbo:wikiPageDisambiguates of
is foaf:primaryTopic of