差分

=== [[Eiffel]] ===[[Eiffel]]は契約による設計を提唱・サポートした一番最初のは契約による設計を提唱およびサポートした一番最初の[[プログラミング言語]]だそうだ。まったく知らない。 Eiffelの開発元であるEiffel Software（旧名：Interactive Software Engineering、略称：ISE）とマイクロソフト、オーストラリアのモナッシュ大学のグループが共同で[[共通言語ランタイム]]で動く[[Eiffel Sharp|Eiffel#]]なるものを出している<ref>[http://msdn.microsoft.com/ja-jp/library/ms973898.aspx</ref>。Eiffelの一部なので別途パッケージがあるわけではない。