「契約による設計」の版間の差分

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