ソフトウェア開発の技術: 抽象化・形式化・進化

著者 : 山村吉信

• 三元社 (1993年10月1日発売)

作品紹介・あらすじ

抽象化・形式化・進化をキーワードに、ソフトウェア開発に関わる、すべての技術を紹介、解説。

感想・レビュー・書評

[overgravityさんの感想 · 2016年10月3日]

豊富なトピックを用いてITシステムの設計のための最も基礎的なことがらをコンパクトにまとめている。

IT開発の現場でしばしば起こる問題の原因と合理的な解の理論的なヒントである。

この知識によって大幅に現場での無駄な議論や試行錯誤を減らせるだろう。

たとえば、二将軍問題は２フェーズコミットを考えるときに役立つ。
たとえば、洗練された仕様書とは何か、考えるときに役立つ。