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

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

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

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

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

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

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

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

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

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

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

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

DESTECSCRESCENDOセミナー:ソフトウェアとメカトロニクスとのCO-MODELINGCO-SIMULATION(全3講義)

「開発深知」からDESTECSCRESCENDOセミナー:ソフトウェアとメカトロニクスとのCO-MODELINGCO-SIMULATIONの講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です Continue Reading →