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

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

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

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

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

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

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

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

CTLモデル検査、時間CTLモデル検査-基礎理論講座 第11回

「開発深知」からCTLモデル検査、時間CTLモデル検査-基礎理論 第11回の講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義概要 CTL(時間木論理)とTCTL(時間CTL)による Continue Reading →

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

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

Büchiオートマトン、時間オートマトン、並行システムのモデル化-基礎理論講座 第10回

「開発深知」からBüchiオートマトン、時間オートマトン、並行システムのモデル化-基礎理論 第10回の講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義概要 オートマトンに関する練習 Continue Reading →

有限オートマトン、正規表現-基礎理論講座 第9回

「開発深知」から有限オートマトン、正規表現-基礎理論 第9回の講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義概要 オートマトン、有限オートマトンとは何か、決定性と非決定性、受理言 Continue Reading →

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

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

形式仕様記述、モデル検査-基礎理論講座 第1回

「開発深知」から形式仕様記述、モデル検査-基礎理論の講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義概要 形式仕様記述とモデル検査の準備段階の知識について解説します。 形式手法(F Continue Reading →