最終更新:2008-09-05 (金) 06:50:56 (5875d)
Eiffel
Top / Eiffel
事前条件?,事後条件?,不変表明?といった各種の「表明?」をプログラムに記述させるという独特のスタイルを持ち,各種表明により,厳密なクラス設計が可能にな
おなかすいた族!
事前条件?,事後条件?,不変表明?といった各種の「表明?」をプログラムに記述させるという独特のスタイルを持ち,各種表明により,厳密なクラス設計が可能にな