Google
ブログ(iiyu.asablo.jpの検索)
ホットコーナー内の検索
 でもASAHIネット(asahi-net.or.jp)全体の検索です。
 検索したい言葉のあとに、空白で区切ってki4s-nkmrを入れるといいかも。
 例 中村(show) ki4s-nkmr

ウェブ全体の検索

Eiffel, 仕様記述(フォーマルメソッド)2008年09月20日 06時10分03秒

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版 方法論・実践」その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
お役立ちフリーソフト一覧 ソフトウエアを作る環境を楽しくする
は便利ですね。

コメント

コメントをどうぞ

※メールアドレスとURLの入力は必須ではありません。 入力されたメールアドレスは記事に反映されず、ブログの管理者のみが参照できます。

※なお、送られたコメントはブログの管理者が確認するまで公開されません。

※投稿には管理者が設定した質問に答える必要があります。

名前:
メールアドレス:
URL:
次の質問に答えてください:
一富士、二鷹、三は? ひらがなで。

コメント:

トラックバック

_ ホットコーナーの舞台裏 - 2009年12月01日 10時00分32秒

ASAHIネット(http://www.asahi-net.or.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
 今年ももう12月になっちゃったよ~。早く書かないと、今年

_ ホットコーナーの舞台裏 - 2010年04月23日 07時16分18秒

ASAHIネット(http://www.asahi-net.or.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
http://www.amazon.co.jp/exec/obidos/ASIN/4270005769/showshotcorne-22/
数字で世界

_ ホットコーナーの舞台裏 - 2010年07月29日 05時25分10秒

ASAHIネット(http://asahi-net.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
 例によって、直前になってここに書く。すみません。
 高品質高信

_ ホットコーナーの舞台裏 - 2010年07月29日 05時34分28秒

ASAHIネット(http://asahi-net.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
http://iiyu.asablo.jp/blog/2010/07/29/5254538
高品質高信頼ソフトウェア開発の特

_ ホットコーナーの舞台裏 - 2010年07月29日 05時42分24秒

ASAHIネット(http://asahi-net.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
http://iiyu.asablo.jp/blog/2010/07/29/5254538
高品質高信頼ソフトウェア開発の特