Archive for the 'Spec#' Category
If I could have just one thing!
Again today came across many a situation begging for some Spec# pre and post 
condition verification; alas the wait continues. I will attempt to do my part in pushing the call to have Spec# rolled into C# ASAP (V 4.0 pretty please Anders?). Greg Young started this push to have Spec# taken seriously as something that we want to see in the language soon and have it move its way out of research and into product roadmap. Here again is the bumper sticker that Greg made available.
Spec# lets me write more verifiable & predictable software
Just a 
short 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 Publications compressed into a single download
