VDM++によるオブジェクト指向システムの高品質設計と検証: ホットコーナーブログ(iiyu.asablo.jpの検索) ホットコーナー内の検索 でもASAHIネット(asahi-net.or.jp)全体の検索です。 検索したい言葉のあとに、空白で区切ってki4s-nkmrを入れるといいかも。 例 中村(show) ki4s-nkmr ウェブ全体の検索 ASAHIネット(http://asahi-net.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。 --- http://iiyu.asablo.jp/blog/2010/07/29/5254538 高品質高信頼ソフトウェア開発の特別セミナー で書いた続き。 形式仕様記述(フォーマルメソッド、Formal Methods)関係の新刊が出ます。 翔泳社の古田島さん(コタさん)。 大して数が出ないだろうし、儲からな
