spec#とは、c#にeiffel風の仕様記述言語的要素を追加したプログラミング言語である。