4日で学ぶモデル検査 初級編

産業技術総合研究所(著者)

• 販売会社／発売会社: エヌ・ティー・エス
• 発売年月日: 2006/06/01
• JAN: 9784860431198

商品レビュー

2011/06/15

システム検証センタで開催された、４日間の訓練の教科書として用いられてきたものとのことです。
１日目は、手を動かすことに専念しているのがすばらしい。
セミナは、食事時間まえに、手を動かして成果が出ると、参加者の意欲すごく高くなりいい感じになることがしばしばです。
本書は、そういうあたりまえのことが、あたりまえとして書いているのですごいと思います。

モデル（模型）を作ることは、模擬試験（シミュレーション）をするためのことがあります。
また、模擬試験だけでなく、論理的に矛盾がないかを検査することも大切です。
形式手法を用いることにより、モデルの検査を行うのが本書の主要な役割のようです。

なんとか１日でこなそうと努力しています。

よくこなれています。