形式仕様記述(応用)(全12講義)

「開発深知」から形式仕様記述(応用)の講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義概要 本講座では、上流工程からインプリメンテーションまでをつなぐ形式手法を用いた系統的な開発の Continue Reading →

設計モデル検証(応用)(全10講義)

「開発深知」から設計モデル検証(応用)の講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義概要 本講座では、ネットワーク家電の制御ソフトウェアを題材とした産業ソフトウェアの設計モデル Continue Reading →

OSS若手技術者勉強会

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

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

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

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

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

ITSpiral「コンポーネント/パターン指向ソフトウェア開発」(全5講義)

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

モデル検査ツールを使った設計モデルの検証 – モデル検査ツール入門

「開発深知」からモデル検査ツールを使った設計モデルの検証 – モデル検査ツール入門の講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義概要 本講義では、検証とは何かや、モ Continue Reading →

VDM、SPINから始める形式手法入門(全9講義)

「開発深知」からVDM、SPINから始める形式手法入門の講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義概要 近年、ソフトウェア開発における効率的な信頼性向上のためのアプローチとし Continue Reading →

性能モデル検証(全15講義)

「開発深知」から性能モデル検証の講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義概要 本講座では、ネットワーク家電の制御ソフトウェアを題材とした産業ソフトウェアの性能モデル検証問題 Continue Reading →

クラウド基盤構築演習(全15講義)

「開発深知」からクラウド基盤構築演習の講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義概要 本講座では、Linuxとオープンソースソフトウェア(Eucalyptus)を利用して、I Continue Reading →