"The Essence of Software"が提唱する全く新しいソフトウェア設計の考え方｜Idein株式会社
（6/22 注：書き足りないと思っていた箇所を補って加筆修正しました） エンジニアのbonotakeです。Ideinに入ってかれこれ3年以上経ちますが、Ideinでブログ記事を書くのは初めてです。 今日は、ソフトウェア設計の全く新しい考え方について書かれた "The Essence of Software" という本の紹介をしたいと思います。 この本の著者はMIT教授でソフトウェア工学の世界的な研究者であるDaniel Jacksonです。形式手法Alloyの発明者、と言ったほうが通じる人には通じるかもしれません。形式手法とは、ありていにいえば、数理論理学を駆使してソフトウェアに潜むバグを論理的に駆逐する手法です。 （個人的な宣伝ですが、彼の書いたAlloyの本を以前翻訳して出版しました。） そんな彼が昨年11月に新著を出版したというので、ほぼその日に買いました。……ですが、本を開いてみる
まさにプロのための 1冊、『プロのための Linux システム・10年効く技術』 - A Day in Serenity @ kenjis
技術評論社の池本さんより献本いただきました。ありがとうございます。 プロのための Linuxシステム・10年効く技術 (Software Design plus) 作者: 中井悦司出版社/メーカー: 技術評論社発売日: 2012/06/15メディア: 大型本購入: 6人 クリック: 88回この商品を含むブログ (16件) を見る この本は、同じ著者による『プロのための Linux システム構築・運用技術』『プロのための Linux システム・ネットワーク管理技術』に続く 3冊目の本のようです。前 2冊がわかりやすい体系的な内容なのに対し、この本は「現場テクニック」や「いざという時のための知識」を初級〜中級の Linux エンジニア向けに、筆者自身の生の声で伝授するためのものとのことです。 ということで、内容は 1章から順に読んでいく必要はなく、章ごとにかなり独立したものになっています。おお
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
