形式手法による分散システム検証 (y_taka_23) - builderscon tokyo 2019

(57:15)

形式手法を使って、発見しにくいバグを一網打尽にしよう (Hodaka Suzuki) - builderscon tokyo 2019

(26:21)

F1：CockroachDB から覗く形式手法の世界

(59:3)

SEC先端技術入門ゼミ【第6部】はじめての形式手法導入～適用事例から学ぶ～

(33:51)

【SECセミナー】「なぜ形式手法か」

(2:1:9)

AWSでの形式手法の利用　Part I 「大規模なシステム障害はなぜ起きるのか？」

(43:6)

形式手法

(6:36)

モデル検査ツールを使った設計モデルの検証のダイジェスト版（143000）

(8:25)

形式仕様記述part1

(9:17)

ユーザが自ら実践！最新事例で学ぶ要件定義の勘どころ【第一部】全体概要

(39:1econd)

VDM-SL formal methods in software engineering lecture 5

(12:36)

パート 7: 無効なログインとホームページのテストによるページ オブジェクト モデルの拡張

(13:35)

並列分散処理基盤のいま〜45分で学ぶHadoop/Spark/Kafka/ストレージレイヤSW入門〜 2020-8-28 A-8

(45:1econd)

SECセミナー　要求仕様明確化のための仕様記述技術(USDM)活用事例

(51:49)

やってみようＣＴ検査～どんなところかな？～小児総合医療センター診療放射線科

(6:32)

Data Engineering Study #18「データ指向アプリケーションデザイン」

(2:39:7)

話題の行政デジタル化を徹底的に解説してみました。【MC】さかいかな

(15:1econd)

形式化驗證: 第 1 集

(1:32:36)

モジュラー形式ってなんだろう？【ゆっくり解説】

(9:36)

形式手法_広島カーエレ言葉辞書

(21)

分散システムダイジェスト版

(11:48)

G5：クラウド時代の今こそ！理解して拡げる分散システムの基礎知識 - JTF2020

(44:)

Youtubeの裏側!? 分散システムを乱暴に解説してみた【大規模サービス入門】

(7:54)

形式手法入門－管理者向け半日コース　形式手法とは何で、何が得られるか？

(1:31:53)

01-203_複数アプリケーションのプロセスとログを管理するための新しいツールと手法(谷津真樹/Masaki Yatsu)

(42:51)

【JPIX 25th Anniversary Users Meeting】大規模広域分散システムの時代　村井純様

(1:5:37)

Dockerを使ってElixirの分散システムを気軽に楽しむ

(10:2)

情報科学科「分散アルゴリズム研究室」

(2:19)