セーフティーとセキュリティ概論 ~ 乗り物の安全の観点から ~

「開発深知」から「セーフティーとセキュリティ概論 ~ 乗り物の安全の観点から ~」の講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義概要 近年、重要インフラへのサイバー攻撃が増加し Continue Reading →

プロセス分析ツールPATによるモデリングとモデル検査(全2講義)

「開発深知」からプロセス分析ツールPATによるモデリングとモデル検査の講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 プロセス分析ツールPATによるモデリングとモデル検査の概要 本講義 Continue Reading →

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

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

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

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

VDM++による形式仕様記述(全4講義)

「開発深知」からVDM++による形式仕様記述の講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義概要 本講義では、ライトウェイトな形式手法であるVDMを取り上げます。VDMでは、シス Continue Reading →

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

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

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

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

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

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

OSS若手技術者勉強会

「開発深知」からOSS若手技術者勉強会の講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義概要 NPO法人トップエスイー教育センターの協賛・後援のもと、OSS推進フォーラムに参加する Continue Reading →