Video: Intro to Spec# - Future of development

DotNetKick.com is an open-source project. Please report any bugs and let us know your great suggestions. Currently running svn revision 620 (rss)

4
kicks

submitted by Hosed 7 months, 2 days ago

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

1 comment | category:

tags: Spec#, C# | tag it

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:

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

posted by

fquednau 7 months, 2 days ago