ASAHIネット([URL]のjouwa/salonからホットコーナー([URL] )に転載したものから。
---
[URL]
オブジェクト指向入門 第2版再読
[URL]
バートランド・メイヤー「オブジェクト指向入門 第2版 方法論・実践」その２
の続き。
[URL]
バートランド・メイヤー著, 酒匂寛訳「オブジェクト指向入門 第2版 原則・
コンセプト」
[URL]
オブジェクト指向入門 第2版 方法論・実践 (単行本（ソフトカバー）)
バートランド・メイヤー (著), 酒匂 寛 (翻訳)
の紹介を翔泳社のパンフレット？に書いたので、Eiffelのフォロー。

　Eiffelについては、訳者の酒匂さんの解説もあります。
[URL]
Part4　Eiffelに学ぶ「正しいオブジェクト指向」
　最後に出てくるVDM++による仕様記述なんてのが興味があるなら、
[URL]
形式仕様記述(フォーマルメソッド、Formal Methods)
をどうぞ。

　Eiffel Studioについては、
[URL]
EiffelStudio Integrated Development Environment
[URL]
EiffelStudio
[URL]
EiffelStudio
[URL]
EiffelStudio 表明をサポートしたオブジェクト指向言語
をどうぞ。
　EiffelStudioは、デュアルライセンスになっています。
[URL]
をどうぞ。
　ついでに、
[URL]
お役立ちフリーソフト一覧 ソフトウエアを作る環境を楽しくする
は便利ですね。