В MS-Research у Microsoft есть C # -совместимый язык под названием Spec #. http://research.microsoft.com/en-us/projects/specsharp/
Я нашел установщик .msi только для Visual Studio 2008. http://research.microsoft.com/en-us/downloads/8826adb9-8398-40d6-a22d-951923fe2647/
Я нашел (не помню где) и скачал zip-пакет для Spec # 2010, но не нашел установщика.
Как установить Microsoft Spec # в Visual Studio 2010?также возможно ли работать с Visual Studio C # Express и Spec #?
заранее спасибо Ой
Эта дискуссия должна вам помочь: http://specsharp.codeplex.com/discussions/230181