「本位田真一」おすすめ作品一覧

「本位田真一」の新着作品・人気作品や、最新のユーザーレビューをお届けします!

作品一覧

2018/04/21更新

ユーザーレビュー

  • SPINによる設計モデル検証
    形式手法の教育を行う場合に、受講生は全部読んでいる必要はないという命題をたててみました。

    というのは、トップエスイー実践講座3では、「高度な数学的知識を習得して、現実的なシステムの仕様記述に利用することは容易でははい。」「モデル検査は、検証に必要な証明の作業を完全に自動的に行うため、上述の形式検証...続きを読む
  • ソフトウェア科学基礎
    形式手法の教育を行う場合に、受講生は、本書を全部読んでいる必要はないという命題をたててみました。

    トップエスイー実践講座3では、「高度な数学的知識を習得して、現実的なシステムの仕様記述に利用することは容易でははい。」「モデル検査は、検証に必要な証明の作業を完全に自動的に行うため、上述の形式検証技...続きを読む
  • Bメソッドによる形式仕様記述
    抽象機械、変数の宣言、不変条件の宣言、変数の初期化、操作の定義、一般化代入の紹介がある。
    抽象機械の整合性の検証として、最弱事前条件、不変条件の無矛盾性、初期化の整合性について説明がある。
    集合論的に厳密に記述していくのがミソのようです。
    Refinementという段階的詳細化をしていって実装...続きを読む