{"id":501,"date":"2007-03-29T20:11:01","date_gmt":"2007-03-29T18:11:01","guid":{"rendered":"http:\/\/www.glorf.it\/blog\/2007\/03\/29\/windows-tools\/spec-zum-download"},"modified":"2007-07-16T19:22:31","modified_gmt":"2007-07-16T17:22:31","slug":"spec-zum-download","status":"publish","type":"post","link":"http:\/\/www.glorf.it\/blog\/2007\/03\/29\/windows-tools\/spec-zum-download","title":{"rendered":"Spec# zum Download"},"content":{"rendered":"<p>Auf der Seite &quot;<a href=\"http:\/\/research.microsoft.com\/research\/downloads\/Details\/f96c1618-b332-4106-b0fc-911346d5f537\/Details.aspx\">Spec# for Visual Studio 2005<\/a>&quot; findet man jetzt Spec# zum Download. Gesprochen wird das &quot;Speck-Sharp&quot;. <\/p>\n<p>Auf obiger Seite wird kurz zusammengefasst, was Spec# ist:<\/p>\n<blockquote><p>Spec# is an experimental language that extends C# with several design-by-contract features. The new features of Spec# include a non-null type system, method pre- and post-conditions, loop invariants, and object invariants. The Spec# Programming System provides design-time checking, run-time checking, and a static verifier. This version of Spec# runs on .NET Framework version 2.<\/p><\/blockquote>\n<p>Wer mehr Infos haben will, der wird auf der <a href=\"http:\/\/research.microsoft.com\/specsharp\/\">Homepage von Spec#<\/a> f&#252;ndig. Dort ist auch ein Link zum Download f&#252;r Visual Studio 2003, aber der ist derzeit tot.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Auf der Seite &quot;Spec# for Visual Studio 2005&quot; findet man jetzt Spec# zum Download. Gesprochen wird das &quot;Speck-Sharp&quot;. Auf obiger Seite wird kurz zusammengefasst, was Spec# ist: Spec# is an experimental language that extends C# with several design-by-contract features. The new features of Spec# include a non-null type system, method pre- and post-conditions, loop invariants, [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":[],"categories":[23,8],"tags":[],"_links":{"self":[{"href":"http:\/\/www.glorf.it\/blog\/wp-json\/wp\/v2\/posts\/501"}],"collection":[{"href":"http:\/\/www.glorf.it\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/www.glorf.it\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/www.glorf.it\/blog\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/www.glorf.it\/blog\/wp-json\/wp\/v2\/comments?post=501"}],"version-history":[{"count":0,"href":"http:\/\/www.glorf.it\/blog\/wp-json\/wp\/v2\/posts\/501\/revisions"}],"wp:attachment":[{"href":"http:\/\/www.glorf.it\/blog\/wp-json\/wp\/v2\/media?parent=501"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/www.glorf.it\/blog\/wp-json\/wp\/v2\/categories?post=501"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/www.glorf.it\/blog\/wp-json\/wp\/v2\/tags?post=501"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}