Video: Intro to Spec# - Future of development

4 Kicks

submitted by Hosed(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: C# |Views: 10
Tweet

Please login or signup.

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:

Simply copy and paste this HTML into your blog post.

Users who kicked this story:

Comments:

posted by fquednau(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

What's this?