Spec Sharp
C#と比べ、Spec#には以下の要素を持つ。
null非許容参照型
事前条件・事後条件を書くための構文
Java風の検査例外
簡易構文