VDM++による形式仕様記述(全4講義)

「開発深知」からVDM++による形式仕様記述の講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義概要 本講義では、ライトウェイトな形式手法であるVDMを取り上げます。VDMでは、シス Continue Reading →

形式仕様記述(応用)(全12講義)

「開発深知」から形式仕様記述(応用)の講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義概要 本講座では、上流工程からインプリメンテーションまでをつなぐ形式手法を用いた系統的な開発の Continue Reading →

形式仕様記述(基礎)(全12講義)

「開発深知」から形式仕様記述(基礎)の講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義概要 本講座では、形式手法を用いた系統的なソフトウェア開発方法の学習について学んでいきます。厳 Continue Reading →

モデル検査-ソフトウェア工学入門その8

「開発深知」からモデル検査-ソフトウェア工学入門その8の講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義概要 モデル検査について解説します。典型的な例題を元に解決すべき問題について Continue Reading →

形式手法概論-ソフトウェア工学入門その7

「開発深知」から形式手法概論-ソフトウェア工学入門その7の講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義概要 形式手法概論と題して形式手法(フォーマルメソッド)の概念や用語(モデ Continue Reading →

ソフトウェア工学入門(全8講義)

「開発深知」からソフトウェア工学入門の講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義概要 本講義では、トップエスイープログラムにおける様々な講座を受講するための予備知識を補完する Continue Reading →

形式仕様記述、モデル検査-基礎理論講座 第1回

「開発深知」から形式仕様記述、モデル検査-基礎理論の講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義概要 形式仕様記述とモデル検査の準備段階の知識について解説します。 形式手法(F Continue Reading →

形式仕様記述(セキュリティ編)(全15講義)

「開発深知」から形式仕様記述(セキュリティ編)の講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義概要 本講座では、定理証明、モデル検査と段階的詳細化というシステム検証における三つの Continue Reading →