ソフトウェア工学の基礎

著者 : 玉井哲雄

• 岩波書店 (2004年3月19日発売)

感想・レビュー・書評

[kaizenさんの感想 · 2011年9月23日]

日本語のソフトウェア工学の数少ない名著の一つだと思った。
第４章のモデル化技法とUMLでは、状態図、活動図、強調図、系列図と、漢字２文字にしてすっきりと説明している。
系列図が、Sequence chartであることに思いが至らない人がいるかもしれないので、英語表記もあるとよかったかもしれない。
酒屋の在庫問題の紹介は。有用で、情報処理の１９８４年９号、１１号、１９８５年５号は必読だろう。
また、自販機問題は、野呂さんの得意分野で、自販機メーカとの協同研究の成果でもあると思う。
第１０章、形式手法について、Z、VDMだけでなく、CafeOBJについても紹介があるなど、いろいろ細かなところまで詳細な情報を展開している。玉井先生のBに対する見解が聞きたかったのが心残りである。また、CafeOBJの記述例が、他の文献にもあるStackなのは残念でした。もっと異なる応用が可能である例示があると、記述してみようという意欲が沸くかもしれない。
第１２章、検証技術では、故障（ｆａｕｌｔ）と障害（ｆａｉｌｕｒｅ）を区別しているが、ＦＭＥＡとＦＴＡの紹介がないのはなぜだろう。
いずれにしても、これだけ幅広で、奥深い日本人による入門書を見たことがない。
最初にこの教科書で教えてもらった人は、幸せだと思う。

著者プロフィール

1947年兵庫県生まれ。1970年、東京大学工学部建築学科卒業。千葉大学名誉教授、国立歴史民俗博物館名誉教授。著書に『建築の歴史』（共著　中公文庫）など多数。

「2020年 『図説　日本建築の歴史 寺院・神社と住宅』 で使われていた紹介文から引用しています。」