ソフトウェア開発・検証技法

松本 正雄/小山田 正史/松尾谷 徹【共著】

電子情報通信学会（1997/01発売）

• サイズ A5判／ページ数 218p／高さ 22cm
• 商品コード 9784885521362
• NDC分類 007.63
• Cコード C3055

内容説明

本書はソフトウェアを開発するのに有用な主要技法を、ソフトウェア開発テクノロジの視点から作る技術と検証する技術、開発環境、開発従事者の三つの側面に留意して述べている。

目次

第１章　ソフトウェアプロセス
第２章　プロセスプログラミング
第３章　ソフトウェア設計技術の発展の経緯
第４章　設計技術
第５章　オブジェクト指向による設計技法
第６章　ソフトウェア検証技術
第７章　運用と保守の技術
第８章　開発支援技術

感想・レビュー

※以下の感想・レビューは、株式会社ドワンゴの提供する「読書メーター」によるものです。

[kaizen@名古屋de朝活読書会]

総括的で網羅的な良書。検証試行設計、制約についても詳しい。自律改善の本の参考文献中一番大事だと感じた。設計技術で、状態遷移図・表、時系列図を示しているが刻時図を示していないのは残念。試験駆動、証明駆動がないのは時代的なものか。

2014/03/24