IPAセキュアプログラミング講座 ブートアップセミナー(全6講義)

「開発深知」からIPAセキュアプログラミング講座 ブートアップセミナーの講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義概要 IPAセキュア・プログラミング講座(Webアプリケーシ Continue Reading →

定理証明と検証(全17回)

「開発深知」から定理証明と検証の講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義概要 本講義では、強力な仕様記述能力を持ち,また証明を支援する機構を備えている定理証明器「Coq」を Continue Reading →

モデル検査事例演習(全18回)

「開発深知」からモデル検査事例演習の講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義概要 本講座は、モデル検査の実務を想定し、その開始から終了までの全プロセスを意識した演習を行いま Continue Reading →