サクサク読めて、アプリ限定の機能も多数!
形式手法のこと何も知らなかったけど分散システムの検証というケーススタディがとてもわかりやすくて面白かった。開発以前の設計段階から検証ができるという嬉しさも理解した
ohbarye のブックマーク 2019/09/01 01:21
形式手法による分散システムの検証 #builderscon / builderscon tokyo 2019[microservices][distributed system][formal methods]形式手法のこと何も知らなかったけど分散システムの検証というケーススタディがとてもわかりやすくて面白かった。開発以前の設計段階から検証ができるという嬉しさも理解した2019/09/01 01:21
このブックマークにはスターがありません。 最初のスターをつけてみよう!
speakerdeck.com/ytaka232019/08/31
builderscon tokyo 2019 で使用したスライドです。 本セッションでは、形式手法 (formal methods) を用いた分散アルゴリズムの検証について解説しました。形式手法は、数学的な表現を用いて対象となるシステムを...
68 人がブックマーク・6 件のコメント
\ コメントが サクサク読める アプリです /
形式手法のこと何も知らなかったけど分散システムの検証というケーススタディがとてもわかりやすくて面白かった。開発以前の設計段階から検証ができるという嬉しさも理解した
ohbarye のブックマーク 2019/09/01 01:21
このブックマークにはスターがありません。
最初のスターをつけてみよう!
形式手法による分散システムの検証 #builderscon / builderscon tokyo 2019
speakerdeck.com/ytaka232019/08/31
builderscon tokyo 2019 で使用したスライドです。 本セッションでは、形式手法 (formal methods) を用いた分散アルゴリズムの検証について解説しました。形式手法は、数学的な表現を用いて対象となるシステムを...
68 人がブックマーク・6 件のコメント
\ コメントが サクサク読める アプリです /