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

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

並行システムの検証と実装(全12講義)

「開発深知」から並行システムの検証と実装の講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 並行システムの検証と実装の講義概要 本講座では、信頼性の高い並行システムを構築することを目的と Continue Reading →

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

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

クラウド実践(クラウド入門)(全6講義)

「開発深知」からクラウド実践(クラウド入門)(全6講義)の講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義概要 本講座では、クラウドコンピューティング環境上での分散アプリケーション Continue Reading →

PLTLモデル検査-基礎理論講座 第12回

「開発深知」からPLTLモデル検査-基礎理論 第12回の講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義概要 今回は、PLTLモデル検査の概要と、PLTLからBüchiオートマトン Continue Reading →

ITSpiral「組込みソフトウェア設計論」(全5講義)

「開発深知」からITSpiral「組込みソフトウェア設計論」の講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義概要 本講義では、組込みシステムの概要、リアルタイムスケジューリング概 Continue Reading →

SMV入門(全10回)

「開発深知」からSMV入門の講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義概要 モデル検査ツールSMV、状態遷移図について学習する講義です。講義は、動画と小テストの構成になってお Continue Reading →

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

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

モデル検査事例演習(全18回)

「開発深知」からモデル検査事例演習の講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義概要 本講座は、モデル検査の実務を想定し、その開始から終了までの全プロセスを意識した演習を行いま Continue Reading →