プロセス分析ツールPATで学ぶ並行プロセスのモデル検査(全2講義)

「開発深知」からプロセス分析ツールPATで学ぶ並行プロセスのモデル検査の講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義概要 本講義は2011年10月24日(月)に行われました、ト Continue Reading →

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

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

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

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

MindStormで学ぶ、UPPAALによる時間制約の検証(全4講義)

「開発深知」からMindStormで学ぶ、UPPAALによる時間制約の検証の講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義概要 本チュートリアルでは,特に時間制約を扱えるモデル検 Continue Reading →

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

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

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

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

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

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

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

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

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

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

モデル検査の実装その2-基礎理論講座 第14回

「開発深知」からモデル検査の実装その2-基礎理論 第14回の講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義概要 今回は、明示的モデル検査手法の効率化、計算時間と状態数削減(On- Continue Reading →