吉岡信和の作品一覧

作者をフォローする

フォローするとこの作者の新刊が配信された際に、お知らせします。

• 

  SPINによる設計モデル検証

  本位田真一 / 萩谷昌己 / 吉岡信和 / 青木利晃 / 田原康之

  形式手法の教育を行う場合に、受講生は全部読んでいる必要はないという命題をたててみました。
  
  というのは、トップエスイー実践講座３では、「高度な数学的知識を習得して、現実的なシステムの仕様記述に利用することは容易でははい。」「モデル検査は、検証に必要な証明の作業を完全に自動的に行うため、上述の形式検証...続きを読む技術一般の問題点を解決できる。」とあることにもとづいています。
  
  ただし、講師になる人間は、全部読んでいる必要があると感じました。
  
  本書を読む前に、「四日で学ぶモデル検証」を実際に動かした方がよいと感じています。
  自分では、本書も先に目を通そうとしたことがありましたが、めげていました。
  
  「四日で学ぶモデル検証」をやってからは、少なくとも動作させたことがある部分は、
  読み進むことができました。

  Posted by ブクログ

吉岡信和のレビューをもっと見る