hondana.org
本を探す

 


Scrapbox
書籍追加 | 本棚情報変更 | 名前変更/本棚削除 | ヘルプ | ランダム

Fms

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
カテゴリ
評  価
コメント

Fms