命題論理の基礎 論理式とその真理値の計算-基礎理論講座 第2回

「開発深知」から命題論理の基礎 論理式とその真理値の計算-基礎理論の講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義概要 命題論理の基礎として、論理式の計算と法則、公理ベースの演繹 Continue Reading →

形式仕様記述、モデル検査-基礎理論講座 第1回

「開発深知」から形式仕様記述、モデル検査-基礎理論の講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義概要 形式仕様記述とモデル検査の準備段階の知識について解説します。 形式手法(F Continue Reading →

基礎理論講座(形式手法の基礎知識)(全15講義)

「開発深知」から基礎理論講座(形式手法の基礎知識)の講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義概要 形式手法を知る上で必要となる基礎知識について学んでいく講義です。形式手法入 Continue Reading →

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

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

ITSpiral「エンピリカルソフトウェア工学」(全5講義)

「開発深知」からITSpiral「エンピリカルソフトウェア工学」の講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義概要 エンピリカルソフトウェア工学やエンピリカルアプローチ、ソフト Continue Reading →

ITSpiral「ウェブ工学」(全5講義)

「開発深知」からITSpiral「ウェブ工学」の講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義概要 ITSpiral「ウェブ工学」の講義です。ウェブ工学概論、文書構造化の技術、文 Continue Reading →

ITSpiral「アジャイルソフトウェア工学」(全15講義)

「開発深知」からITSpiral「アジャイルソフトウェア工学」の講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義概要 ITSpiral 奈良先端科学技術大学で行われたアジャイル開発 Continue Reading →

ITSpiral「Webサービスとサービス指向アーキテクチャ」

「開発深知」からITSpiral「Webサービスとサービス指向アーキテクチャ」の講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義概要 WebサービスとSOA(サービス指向アーキテク Continue Reading →

ITSpiral「組込みシステム構成論」

「開発深知」からITSpiral「組込みシステム構成論」の講義動画を紹介します。動画をご覧になるには、開発深知の会員登録(無料)が必要です。 講義概要 全5回からなる、組込みシステム開発のための講義です。第1回目「組込み Continue Reading →