| 注文コード：258 | |
| ～ソフトウェアトラブルを予防する ～ | |
| 形式手法の技術講座 | |
|
|
|
著者名 | 佐原 伸 |
| 監修 | ||
| 装丁 | A5判 207頁 | |
| 定価(税込) | \2,530 | |
| 初版発行日 | 2008/04/30 | |
| ISBN | 978-4-88373-258-6 | |
|
||
|
||
|
第1章 ソフトウェアトラブルを予防する「形式手法」とは？
第2章 「形式手法」技術解説 第3章 主な形式手法と形式仕様記述言語の概要 第4章 「形式手法」の効果的な導入法 |
|
最近のシステム開発では、曖昧な仕様に起因したトラブル事例が多発しています。この曖昧さを防ぐ手法として、仕様を厳密に定義する形式手法（フォーマルメソッド）が注目されております。本書は、この形式手法を詳細、実務的に解説したもので、要求定義等の上流工程に携わるソフトウェア技術者にとっての、貴重な参考書といえます。 |