Living in the Tech Avalanche Generation

A practitioners introspective on technology
Archive for July 12th, 2008

Spec# lets me write more verifiable & predictable software

Just a spec_thumbshort ping to continue to push along the awareness and Greg’s earlier call to action in trying to help move forward community interest in Spec#. As Greg said, if we make some noise about how important we think this research is in allowing us to build better software then the more likely we are to get it and sooner rather than later. Please visit the original post and sign onto Greg’s list of interested parties and for good measure I will leave a few useful links here for you to check out some podcast and webcast presentations and discussions on the technology if your not yet familiar with Spec#.

Above I have included the Bumper Sticker to show your support

The Homepage

Hanselman Podcast

The Publications compressed into a single download

The MSDN Webcast

The Alt.Net presentation

Share/Save/Bookmark

No comments