Video: Intro to Spec# - Future of development(codebetter.com)

submitted by HosedHosed(20) 3 years, 9 months ago

The future of development. True design by contract. Even less time in the debugger. I'm excited!

1 comment |category: |Views: 10

tags: another

new Add a live kick counter to your blog >> liveImage

You can even customize the image by choosing your own colors, and then clicking the button below to update the preview and the html code:

  • "Kick It" text
  • "Kick It" background
  • kick count text
  • kick count background
  • border

Simply copy and paste this HTML into your blog post.


Users who kicked this story:
Comments:

posted by fquednaufquednau(404) 3 years, 9 months ago 0

Has been around for quite a while now. I quite like it, but it should be an opt in thing:
http://research.microsoft.com/specsharp/?0sr=a - Spec# home
http://research.microsoft.com/specsharp/papers/krml136.pdf - Intro to Spec# features

Reply

information Login or create an account to comment on this story