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

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

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

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

ソフトウェア開発見積り手法(全4講義)

「開発深知」からソフトウェア開発見積り手法(全4講義)の講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義概要 本講座では,ソフトウェア開発のプロジェクトマネジメントで最も基本的かつ Continue Reading →

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

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

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

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

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

「開発深知」からモデル検査の実装-基礎理論 第13回の講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義概要 本講義では、モデル検査実装の課題(状態爆発の問題)、二分決定グラフを用い Continue Reading →

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

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

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

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

第4回 セッションの基礎とログインセッション-IPAセキュアプログラミング講座 ブートアップセミナー

「開発深知」から第4回 セッションの基礎とログインセッション-IPAセキュアプログラミング講座 ブートアップセミナーの講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義内容 第4回で Continue Reading →