SMVで学ぶモデル検査入門(全3講義)

「開発深知」からSMVで学ぶモデル検査入門の講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義概要 本セミナーでは、モデル検査の概要に加えて、企業での取り組みやデモ、多くの例題を交え Continue Reading →

設計モデル検証(応用)(全10講義)

「開発深知」から設計モデル検証(応用)の講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義概要 本講座では、ネットワーク家電の制御ソフトウェアを題材とした産業ソフトウェアの設計モデル Continue Reading →

設計モデル検証(基礎)(全12講義)

「開発深知」から設計モデル検証(基礎)(全12講義)の講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義概要 本講義では、ソフトウェア開発における検証について解説している講義です。モ Continue Reading →

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

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

モデル検査ツールを使った設計モデルの検証 – モデル検査ツール入門

「開発深知」からモデル検査ツールを使った設計モデルの検証 – モデル検査ツール入門の講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義概要 本講義では、検証とは何かや、モ Continue Reading →

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

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

性能モデル検証(全15講義)

「開発深知」から性能モデル検証の講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義概要 本講座では、ネットワーク家電の制御ソフトウェアを題材とした産業ソフトウェアの性能モデル検証問題 Continue Reading →