ＶＤＭ＋＋による形式仕様記述 形式仕様入門・活用の第一歩
トップエスイー実践講座 ４
| 出版社名 | 近代科学社 |
|---|---|
| 出版年月 | 2011年7月 |
| ISBNコード |
978-4-7649-0409-5
（4-7649-0409-8） |
| 税込価格 | 4,180円 |
| 頁数・縦 | ２２４Ｐ ２４ｃｍ |
商品内容
| 要旨 |
実用システム開発ではまず仕様を書こう！明確な仕様の記述と検証を行わずして正統な開発を行うことはできない―何を開発するのかを表す仕様の実践的なモデリングと、仕様書を基盤とする開発者間の建設的な対話に向けて。 |
|---|---|
| 目次 |
形式手法とＶＤＭ |