|
ＳＰＩＮによる設計モデル検証～モデル検査の実践ソフトウェア検証～(トップエスイー実践講座)
萩谷 昌己,
吉岡 信和,
青木 利晃,
田原 康之
著
発行年月 |
2008年09月 |
|---|
|
|
言語 |
日本語 |
|---|
媒体 |
冊子 |
|---|
|
|
ページ数／巻数 |
２２６ｐ |
|---|
大きさ |
24 |
|---|
|
ジャンル |
和書 |
|---|
|
|
ISBN |
9784764903548 |
|---|
|
商品コード |
0108084397 |
|---|
NDC分類 |
007.63 |
|---|
|
|
|
|
|
|
商品URL
| https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=0108084397 |
|---|
内容
ＳＰＩＮを中心に、モデル検査をいかにしてソフトウェア開発のプロセスの中に位置づけるかについて、実例を通して詳説する。ソフトウェアの欠陥発見の精度向上と効率化に役立つノウハウが満載。
