最終更新:2008-09-05 (金) 06:50:56 (5712d)  

Eiffel
Top / Eiffel

オブジェクト指向言語

事前条件?事後条件?不変表明?といった各種の「表明?」をプログラムに記述させるという独特のスタイルを持ち,各種表明により,厳密なクラス設計が可能にな

開発環境