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

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

ビジネス要求分析(全4講義)

「開発深知」からビジネス要求分析の講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義概要 本講義では、ゴール指向モデルによるビジネス戦略の立案からシナリオやドメインモデルによる将来ビ Continue Reading →

ビッグデータ管理入門(全2講義)

「開発深知」からビッグデータ管理入門の講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義概要 ビッグデータの解析のためのデータ管理手法について解説します。取り扱うのは、NoSQL、R Continue Reading →

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

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

ソフトウェアパターン(全10講義)

「開発深知」からソフトウェアパターンの講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義概要 本講義では、ソフトウェアパターンの概念から解説し、パターンの抽出/利用やパターン指向開発 Continue Reading →

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

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

アジャイル開発(全2講義)

「開発深知」からアジャイル開発の講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義概要 アジャイル開発を実際に小さなアプリケーション開発で経験することにより、その手法の意味を理解し、 Continue Reading →

ソフトウェアエンジニアのための機械学習によるデータ分析実践(全2講義)

「開発深知」からソフトウェアエンジニアのための機械学習によるデータ分析実践の講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義概要 本講義は、2015年9月3日(木)に開催された ソ Continue Reading →

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

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

Coqで学ぶ定理証明入門(全3講義)

「開発深知」からCoqで学ぶ定理証明入門の講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義概要 本セミナーでは、検証技術の基本からCoqを使った関数型プログラミングのテクニックと、 Continue Reading →