ASAHIネット(http://www.asahi-net.or.jp)のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
http://iiyu.asablo.jp/blog/2007/03/17/1284884
オブジェクト指向入門 第2版再読
http://iiyu.asablo.jp/blog/2008/09/02/3735396
バートランド・メイヤー「オブジェクト指向入門 第2版 方法論・実践」その２
の続き。
http://www.amazon.co.jp/exec/obidos/ASIN/4798111112/showshotcorne-22/
バートランド・メイヤー著, 酒匂寛訳「オブジェクト指向入門 第2版 原則・
コンセプト」
http://www.amazon.co.jp/exec/obidos/ASIN/4798111120/showshotcorne-22/
オブジェクト指向入門 第2版 方法論・実践 (単行本（ソフトカバー）)
バートランド・メイヤー (著), 酒匂 寛 (翻訳)
の紹介を翔泳社のパンフレット？に書いたので、Eiffelのフォロー。

　Eiffelについては、訳者の酒匂さんの解説もあります。
http://itpro.nikkeibp.co.jp/article/COLUMN/20070626/275990/
Part4　Eiffelに学ぶ「正しいオブジェクト指向」
　最後に出てくるVDM++による仕様記述なんてのが興味があるなら、
http://iiyu.asablo.jp/blog/2006/08/20/491884
形式仕様記述(フォーマルメソッド、Formal Methods)
をどうぞ。

　Eiffel Studioについては、
http://dev.eiffel.com/Main_Page
EiffelStudio Integrated Development Environment
http://eiffelstudio.origo.ethz.ch/
EiffelStudio
http://www.eiffel.com/products/studio/
EiffelStudio
http://itpro.nikkeibp.co.jp/article/COLUMN/20080415/299132/
EiffelStudio 表明をサポートしたオブジェクト指向言語
をどうぞ。
　EiffelStudioは、デュアルライセンスになっています。
http://www.eiffel.com/licensing/licensing.html
をどうぞ。
　ついでに、
http://itpro.nikkeibp.co.jp/article/COLUMN/20080415/299085/?ST=develop
お役立ちフリーソフト一覧 ソフトウエアを作る環境を楽しくする
は便利ですね。