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

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

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

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

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

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

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

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

基礎理論講座(形式手法の基礎知識)(全15講義)

「開発深知」から基礎理論講座(形式手法の基礎知識)の講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義概要 形式手法を知る上で必要となる基礎知識について学んでいく講義です。形式手法入 Continue Reading →

VDM、SPINから始める形式手法入門(全9講義)

「開発深知」からVDM、SPINから始める形式手法入門の講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義概要 近年、ソフトウェア開発における効率的な信頼性向上のためのアプローチとし Continue Reading →