4日で学ぶモデル検査 (初級編) (CVS教程 (1))

  • エヌ・ティー・エス
3.60
  • (1)
  • (1)
  • (3)
  • (0)
  • (0)
本棚登録 : 13
レビュー : 1
  • Amazon.co.jp ・本 (174ページ)
  • / ISBN・EAN: 9784860431198

感想・レビュー・書評

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

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

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

    よくこなれています。

全1件中 1 - 1件を表示

産業技術総合研究所システム検証研究センターの作品

4日で学ぶモデル検査 (初級編) (CVS教程 (1))を本棚に登録しているひと

ツイートする