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

研究室の本。 まだ全体を眺めてみただけだが、ソフトウェア設計に関する項に多くの章を割いている。既存の設計手法を採用し、その表現手段としてUMLを用いる手法はうちの研究室の手法とはかなり違っていると感じた。 もし東京大学の大学院入試を受けるなら玉井研究室を志望したいと考えたくらいなので、一度はきちんと読んでみたい本。