資料詳細

  • 1 件中、 1 件目

SPINによる設計モデル検証 貸出可

萩谷 昌己／監修 -- 近代科学社 -- 2008.9 -- 007.63

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵場所 請求記号 資料コード 資料区分 状態
９書庫 /007.6/ト/ 8133694736 一般 館内有

ページの先頭へ

資料詳細

書名 SPINによる設計モデル検証
タイトル関連情報 モデル検査の実践ソフトウェア検証
シリーズ名 トップエスイー実践講座
著者名 萩谷 昌己 ／監修, 吉岡 信和 ／著, 青木 利晃 ／著, 田原 康之 ／著  
出版者 近代科学社
出版年 2008.9
ページ数 17,226p
大きさ 24cm
一般件名 ソフトウェア工学
NDC分類(9版) 007.63
内容紹介 SPINを中心に、モデル検査をいかにしてソフトウェア開発のプロセスの中に位置づけるかについて、実例を通して詳説する。ソフトウェアの欠陥発見の精度向上と効率化に役立つノウハウが満載。
ISBN 4-7649-0354-8
ISBN13桁 978-4-7649-0354-8

ページの先頭へ