Hey, you decision makers up there at Microsoft. Maybe you didn't realize this, or maybe you're waiting for the community to let you know. Spec# is one awesome project that needs to become a real product.
It allows one to verify during compilation lots of things you'd usually write corner-case unit tests for, plus allows you to specify a standard behavioral contract for methods using attributes. Saves lots of time and lots of headaches.
Want To learn more?
- Go to the Spec# Homepage and to read about it and download a working version of it for VS 2005 or VS 2008
- Here's an interview Hanselman did on Spec#
- Here's a video from the Spec# session at Alt.NET Seattle
If the community is vocal enough about it, the research project just might become a real product. so if you like it, blog it.