本を探す
Scrapbox
書籍追加
|
本棚情報変更
|
名前変更/本棚削除
|
ヘルプ
|
ランダム
nobsun2006の本棚
更新順
-
表紙
-
書名
|
評価順
-
表紙
-
書名
|
カテゴリ別
-
書名
|
データリスト
4日で学ぶモデル検査 (初級編) (CVS教程 (1))
産業技術総合研究所システム検証研究センター
エヌ・ティー・エス
ISBN: 4860431197
紀伊國屋
,
Amazon
,
WebCat
カテゴリ
プログラム検証
評 価
コメント
nobsun2006 :
SPINの使い方が学べる
kmt-t :
日本語の唯一のモデル検査の本。形式手法といえば理論先行で難しい話が多いが、そういった話はまったくなし。産総研の本気で現場の技術者にモデル検査を導入して欲しいという気合が感じられ、本当に簡単に誰でも4日でモデル検査の処理系が使えるようになる内容なのがすばらしい。例が秀逸で、モデル検査をつかわなければ正当性が判断不能なのもよい。
他の本棚
orken
,
toshiharu
,
kmt-t
,
kuwa
,
tui
最終
更新
: 2006-07-03 10:00:23 +0900
カテゴリ
評 価
コメント
SPINの使い方が学べる
更新順
-
表紙
-
書名
|
評価順
-
表紙
-
書名
|
カテゴリ別
-
書名
|
データリスト