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

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

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

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

実装モデル検証(全11講義)

「開発深知」から実装モデル検証の講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義概要 ソフトウェアプログラムの検証問題を扱う。ネットワークを介したメッセー ジ通信を通して動作する分 Continue Reading →

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

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

ツール概説-基礎理論講座 第15回

「開発深知」からツール概説-基礎理論 第15回の講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義概要 はじめに形式手法について復習し、国内外における形式手法を使ったシステム事例を紹 Continue Reading →

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

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

並行プログラム-基礎理論講座 第6回

「開発深知」から並行プログラム-基礎理論 第6回の講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義概要 並行プログラムとは何かについて説明し、並行プログラムの課題として、非決定性、 Continue Reading →

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

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

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

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

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

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